2116 search results - page 203 / 424 » On Probabilistic Alternating Simulations |
250
click to vote
CADE
2008
Springer
16 years 7 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...
180
click to vote
ICRA
2009
IEEE
16 years 1 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...
188
click to vote
IROS
2009
IEEE
16 years 1 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...
183
click to vote
JSSPP
2009
Springer
16 years 1 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...
147
click to vote
ICASSP
2008
IEEE
16 years 1 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 ...