1054 search results - page 59 / 211 » From a Verified Kernel towards Verified Systems |
178
click to vote
CVPR
2008
IEEE
16 years 18 days ago
2008
IEEE
We propose a person-dependent, manifold-based approach for modeling and tracking rigid and nonrigid 3D facial deformations from a monocular video sequence. The rigid and nonrigid ...
178
click to vote
IVC
2006
15 years 6 months ago
2006
In this paper, we propose a new method to estimate players' and ball's positions from monocular broadcast soccer video. With the relationship between objects and the cam...
166
click to vote
JIRS
2007
15 years 6 months ago
2007
A detailed step-by-step approach is presented to optimize, standardize, and automate the process of unmanned vehicle controller design, evaluation, validation and verification, fol...
188
click to vote
JUCS
2010
15 years 28 days ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
149
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Web search engines help users find useful information on the World Wide Web (WWW). However, when the same query is submitted by different users, typical search engines return the ...