2415 search results - page 176 / 483 » Markov Processes on Curves |
QEST
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
ICIP
2001
IEEE
15 years 10 days ago
2001
IEEE
Face recognition has established itself as an important subbranch of pattern recognition within the field of computer science. Many state-of-the-art systems have focused on the ta...
ICASSP
2007
IEEE
14 years 5 months ago
2007
IEEE
We develop a general framework to automatically match electronic slides to the videos of corresponding presentations. Applications include supporting indexing and browsing of educ...
ICTAI
2007
IEEE
14 years 5 months ago
2007
IEEE
Unlike mono-agent systems, multi-agent planing addresses the problem of resolving conflicts between individual and group interests. In this paper, we are using a Decentralized Ve...
FOSSACS
2003
Springer
14 years 4 months ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...