357 search results - page 51 / 72 » Computing Reachable States for Nonlinear Biological Models |
147
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
132
click to vote
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
Tracking of curvilinear structures is a task of fundamental importance in the quantitative analysis of biological structures such as neurons, blood vessels, retinal interconnects,...
139
click to vote
JAIR
2008
15 years 4 months ago
2008
In this article we consider the issue of optimal control in collaborative multi-agent systems with stochastic dynamics. The agents have a joint task in which they have to reach a ...
123
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper addresses a method to optimize the robot motion planning in dynamic environments, avoiding the moving and static obstacles while the robot drives towards the goal. T...
146
click to vote
NIPS
2007
15 years 5 months ago
2007
Reliably recovering 3D human pose from monocular video requires models that bias the estimates towards typical human poses and motions. We construct priors for people tracking usi...