360 search results - page 59 / 72 » A Method for the Verification of Haptic Algorithms |
79
Voted
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
On-line discovery of some auxiliary objects to verify the tracking results is a novel approach to achieving robust tracking by balancing the need for strong verification and compu...
82
Voted
CAV
2009
Springer
16 years 6 days ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
112
click to vote
SP
2002
IEEE
14 years 11 months ago
2002
IEEE
Server-based collaborative filtering systems have been very successful in e-commerce and in direct recommendation applications. In future, they have many potential applications in...
100
Voted
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
The contribution presents a multi-agent technology in the domain of the air-traffic control of several autonomous aerial vehicles (manned as well as unmanned). The system has been...
BMVC
1998
15 years 1 months ago
1998
Many techniques have been reported for handwriting-based writer identification. Most such techniques assume that the written text is fixed (e.g., in signature verification). In th...