2415 search results - page 176 / 483 » Markov Processes on Curves |
122
Voted
QEST
2010
IEEE
14 years 10 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...
117
click to vote
ICIP
2001
IEEE
16 years 2 months 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
15 years 7 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...
103
Voted
ICTAI
2007
IEEE
15 years 7 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...
88
Voted
FOSSACS
2003
Springer
15 years 5 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...