164 search results - page 26 / 33 » Model Checking Hierarchical Probabilistic Systems |
140
Voted
ASE
1999
15 years 3 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
131
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
I present MOSES (meta-optimizing semantic evolutionary search), a new probabilistic modeling (estimation of distribution) approach to program evolution. Distributions are not esti...
114
Voted
QEST
2006
IEEE
15 years 9 months ago
2006
IEEE
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...
143
click to vote
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
In this paper we propose an approach capable of simultaneous recognition and localization of multiple object classes using a generative model. A novel hierarchical representation ...
150
Voted
AAAI
2011
14 years 3 months ago
2011
This paper describes a new model for understanding natural language commands given to autonomous systems that perform navigation and mobile manipulation in semi-structured environ...