2502 search results - page 178 / 501 » Using probabilistic model checking in systems biology |
164
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
180
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
This work presents a novel people tracking approach, able to cope with frequent shape changes and large occlusions. In particular, the tracks are described by means of probabilist...
196
click to vote
ICRA
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract— Randomized motion planning techniques are responsible for many of the recent successes in robot control. However, most motion planning algorithms assume perfect and com...
208
click to vote
JMM2
2006
15 years 6 months ago
2006
This paper presents an efficient, robust and fully automatic real-time system for 3D object pose tracking in image sequences. The developed application integrates two main componen...
176
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Efficient communication modeling is a critical task in SoC design and exploration. In particular, fast and accurate communication is needed to predict the performance of a system....