2116 search results - page 203 / 424 » On Probabilistic Alternating Simulations |
184
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
126
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— We present a method for reconstructing 3D models of tree branch structure from laser range data. Our approach is probabilistic, and uses a generative model of a tree to guide a...
149
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— We address the problem of real-time navigation in dynamic environments for car-like robots. Our approach generalizes the concept of velocity obstacles, which have been used for...
127
click to vote
JSSPP
2009
Springer
15 years 11 months ago
2009
Springer
This paper analyzes the effect of overbooking for scheduling systems in a commercial environment. In this scenario each job is associated with a release time and a finishing deadl...
109
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
We consider probabilistic methods to compute the near midair collision risk using state estimate and covariance from a target tracking filter based on angle-only sensors such as ...