757 search results - page 48 / 152 » Monte Carlo Model Checking |
MICCAI
2002
Springer
14 years 11 months ago
2002
Springer
The development of Diffusion Tensor MRI has raised hopes in the neuro-science community for in vivo methods to track fiber paths in the white matter. A number of approaches have be...
BIBE
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract-MCell is a Monte Carlo simulator of cell microphysiology, and the scalable variant can be used to study challenging problems of interest to the biological community. MCell...
ICMCS
2007
IEEE
14 years 4 months ago
2007
IEEE
Particle filter is a sequential Monte Carlo method for object tracking in a recursive Bayesian filtering framework. The efficiency and accuracy of the particle filter depends on t...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— One of the most important problems in Mobile Robotics is to realise the complete robot’s autonomy. In order to achieve this goal several tasks have to be accomplished. Among ...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— This paper presents the iRobot corporation’s Roomba vacuum as a low-cost resource for robotics research and education. Sensor and actuation models for unmodified Roombas are...