5604 search results - page 576 / 1121 » Becoming Increasingly Reliable |
174
click to vote
CARDIS
2000
Springer
15 years 10 months ago
2000
Springer
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
200
click to vote
CVPR
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper addresses the derivation of likelihood functions and confidence bounds for problems involving overdetermined linear systems with noise in all measurements, often referr...
203
click to vote
SGP
2007
15 years 9 months ago
2007
A robust statistics approach to curvature estimation on discretely sampled surfaces, namely polygon meshes and point clouds, is presented. The method exhibits accuracy, stability ...
171
click to vote
BMVC
2002
15 years 9 months ago
2002
We describe a general algorithm for identifying an arbitrary pose of an articulated subject with low density feature points. The algorithm aims to establish a one-to-one correspon...
197
click to vote
AIIDE
2007
15 years 9 months ago
2007
The goal of adaptive game AI is to enhance computercontrolled game-playing agents with (1) the ability to selfcorrect mistakes, and (2) creativity in responding to new situations....