3224 search results - page 73 / 645 » Abstract Error Projection |
125
Voted
IFM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
109
Voted
SIAMSC
2010
15 years 28 days ago
2010
Abstract. We develop duality-based a posteriori error estimates for functional outputs of solutions of free-boundary problems via shape-linearization principles. To derive an appro...
127
click to vote
ECCV
2002
Springer
16 years 4 months ago
2002
Springer
Abstract This paper presents a novel algorithm aiming at analysis and identification of faces viewed from different poses and illumination conditions. Face analysis from a single i...
114
Voted
CEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
131
Voted
GLOBECOM
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract—Intuitively, identification of nodes close to the network edge is key to the successful setup, and continued operation, of many sensor network protocols and application...