3047 search results - page 72 / 610 » A Temporal Consensus Model |
TACAS
2001
Springer
15 years 2 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
UM
2005
Springer
15 years 3 months ago
2005
Springer
Stereotypes and clustering are some techniques for creating user models from user behavior. Yet, they possess important risks as users actions could be misinterpreted or users coul...
CVPR
2007
IEEE
15 years 12 months ago
2007
IEEE
Groupwise shape registration of raw edge sequence is addressed. Automatically extracted edge maps are treated as noised input shape of the deformable object and their registration...
NIPS
2004
14 years 11 months ago
2004
We devise and experiment with a dynamical kernel-based system for tracking hand movements from neural activity. The state of the system corresponds to the hand location, velocity,...
ICIP
2010
IEEE
14 years 7 months ago
2010
IEEE
Emerging multimedia applications have increased the need for video quality measurement. Motion is critical to this task, but is complicated owing to a variety of object movements ...