391 search results - page 29 / 79 » Compositionality for Probabilistic Automata |
146
Voted
QEST
2010
IEEE
15 years 15 days ago
2010
IEEE
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
126
Voted
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this paper, we investigate the problem of 3D object categorization of objects typically present in kitchen environments, from data acquired using a composite sensor. Our fra...
114
Voted
SEFM
2005
IEEE
15 years 8 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
104
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Deterministic graph grammars generate regular graphs, that form a structural extension of configuration graphs of pushdown systems. In this paper, we study a probabilistic extensio...
214
click to vote
ENTCS
2006
15 years 2 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...