1024 search results - page 62 / 205 » Compositional Methods for Probabilistic Systems |
FORMATS
2003
Springer
14 years 1 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— It has been observed that adding a few long range edges to certain graph topologies can significantly increase the rate of convergence for consensus algorithms. A notable exam...
MOBIDE
2006
ACM
14 years 2 months ago
2006
ACM
The representation of moving objects in spatial database systems has become an important research topic in recent years. As it is not realistic to track and store the location of ...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
In this paper, we discuss the issues in automatic recognition of vowels in Persian language. The present work focuses on new statistical method of recognition of vowels as a basic...
CVPR
2011
IEEE
12 years 11 months ago
2011
IEEE
Existing eye gaze tracking systems typically require an explicit personal calibration process in order to estimate certain person-specific eye parameters. For natural human compu...