4973 search results - page 201 / 995 » Probabilistic Algorithms in Robotics |
204
click to vote
NFM
2011
15 years 1 months ago
2011
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Li...
275
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
In this paper, we address the problem of extending a relational database system to facilitate efficient real-time application of dynamic probabilistic models to streaming data. he ...
143
click to vote
ICDCS
2008
IEEE
16 years 27 days ago
2008
IEEE
Self-stabilization is a strong property which guarantees that a network always resume a correct behavior starting from an arbitrary initial state. Weaker guarantees have later bee...
177
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
158
click to vote
ACL
1998
15 years 7 months ago
1998
Much of the power of probabilistic methods in modelling language comes from their ability to compare several derivations for the same string in the language. An important starting...