1341 search results - page 157 / 269 » Probabilistic Abstraction Hierarchies |
128
Voted
NCA
2010
IEEE
14 years 7 months ago
2010
IEEE
In this paper we address the challenge of realizing full-body behaviors in scalable modular robots. We present an experimental study of a biologically inspired approach to organize...
173
Voted
BTW
2007
Springer
15 years 4 months ago
2007
Springer
Abstract: Content based multimedia retrieval is an important topic in database systems. An emerging and challenging topic in this area is the content based search in video data. A ...
98
Voted
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
— Designing algorithms for multi-robot systems can be a complex and difficult process: the cost of such systems can be very high, collecting experimental data can be timeconsumi...
116
Voted
QEST
2010
IEEE
14 years 10 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
81
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
Design tools can be profitably associated with libraries of reusable modeling components that will make the description and also the validation of the models much easier. Furtherm...