Sciweavers

1434 search results - page 32 / 287
» Stochastic computation
Sort
View
104
Voted
DSN
2002
IEEE
15 years 8 months ago
SMART: Stochastic Model-checking Analyzer for Reliability and Timing
Gianfranco Ciardo, R. L. Jones III, Robert M. Marm...
84
Voted
ISMB
1994
15 years 5 months ago
RNA Modeling Using Gibbs Sampling and Stochastic Context Free Grammars
Leslie Grate, Mark Herbster, Richard Hughey, David...
91
Voted
CONCUR
2010
Springer
15 years 4 months ago
Stochastic Real-Time Games with Qualitative Timed Automata Objectives
Tomás Brázdil, Jan Krcál, Jan...
106
Voted
ICALP
2007
Springer
15 years 9 months ago
Perfect Information Stochastic Priority Games
We introduce stochastic priority games — a new class of perfect information stochastic games. These games can take two different, but equivalent, forms. In stopping priority ga...
Hugo Gimbert, Wieslaw Zielonka
ICRA
2008
IEEE
197views Robotics» more  ICRA 2008»
15 years 10 months ago
A Bayesian framework for optimal motion planning with uncertainty
— Modeling robot motion planning with uncertainty in a Bayesian framework leads to a computationally intractable stochastic control problem. We seek hypotheses that can justify a...
Andrea Censi, Daniele Calisi, Alessandro De Luca, ...