688 search results - page 97 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
The performance of the fingerprint identification and verification systems relies heavily on the quality of the input fingerprint images. In this paper, we propose an effective im...
CONCUR
2000
Springer
13 years 11 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
We present here Extended Markov Tracking (EMT), a computationally tractable method for the online estimation of Markovian system dynamics, along with experimental support for its ...
SP
2002
IEEE
13 years 7 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...
ICCV
2007
IEEE
13 years 9 months ago
2007
IEEE
The analysis of facial expression temporal dynamics is of great importance for many real-world applications. Being able to automatically analyse facial muscle actions (Action Units...