搜索结果: 1-9 共查到“计算机科学技术基础学科 Error”相关记录9条 . 查询时间(0.078 秒)
Scalable Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
2016/5/24
We describe a software error-detection tool that exploits recent advances in boolean satisfiability (SAT) solvers. Our analysis is path sensitive, precise down to the bit level, and models pointers an...
Automated Error Diagnosis Using Abductive Inference
Error diagnosis abductive inference static analysis
2016/5/24
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually classify the report, but ...
Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
2016/5/24
This article presents Saturn, a general framework for building precise and scalable static error detection systems. Saturn exploits recent advances in boolean satisfiability (SAT) solvers and is path ...
Proving the Integrity of the Weighted Sum Squared Error (WSSE) Loran Cycle Confidence Algorithm
Proving Integrity Squared Error (WSSE) Loran Cycle Confidence Algorithm
2015/6/25
For Loran to provide redundancy to GPS for aviation,Loran must meet aviation integrity requirements. The integrity under nominal conditions derives from being able to bound the horizontal position err...
Simple Loran Cycle Error Detection Algorithms for Maritime Harbor Entrance Approach Operations
Loran Cycle Error Detection Algorithms Maritime Harbor Entrance
2015/6/25
Enhanced Loran (eLoran) is designed to support maritime harbor entrance approach (HEA) operations. As a result, the Radio Technical Commission for Maritime Services (RTCM) special committee 127 (SC127...
An auxiliary model based stochastic gradient algorithm for multivariable output error systems
Recursive identification parameter estimation stochastic gradient
2009/9/9
The identification problem of multivariable output error systems is considered in this paper. By constructing an auxiliary model using available input-output data and by replacing the unknown inner va...
An auxiliary model based stochastic gradient algorithm for multivariable output error systems
Recursive identification parameter estimation stochastic gradient
2009/9/9
The identification problem of multivariable output error systems is considered in this paper. By constructing an auxiliary model using available input-output data and by replacing the unknown inner va...
In this paper, a new method is presented to estimate the 3D pose of
facial image based on statistical Gaussian error models. The basic idea is that
the pose angle can be computed by the orthogonal p...
Improved Error Concealment Algorithms Based on H.264/AVC Non-normative Decoder
Improved Error Concealment Algorithms H.264/AVC Non-normative Decoder
2010/12/14
In this paper, we propose several improved error concealment (EC) algorithms based on the H.264/AVC non-normative decoder. The major differences are that motion compensated EC is introduced for intra ...