4962 search results - page 363 / 993 » Stochastic Model Checking |
136
Voted
IMCSIT
2010
15 years 23 days ago
2010
Modeling of optimized motion controller is one of the interesting problems in the context of behavior based mobile robotics. Behavior based mobile robots should have an ideal contr...
142
Voted
TRANSCI
2010
14 years 10 months ago
2010
We consider the Courier Delivery Problem, a variant of the Vehicle Routing Problem with time windows in which customers appear probabilistically and their service times are uncert...
141
Voted
ARCS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
128
click to vote
ICML
2007
IEEE
16 years 4 months ago
2007
IEEE
We introduce a new inference algorithm for Dirichlet process mixture models. While Gibbs sampling and variational methods focus on local moves, the new algorithm makes more global...
118
click to vote
IWIA
2005
IEEE
15 years 9 months ago
2005
IEEE
Previous quantitative models of security or survivability have been defined on a range of probable intruder behavior. This measures survivability as a statistic such as mean time...