2502 search results - page 182 / 501 » Using probabilistic model checking in systems biology |
172
click to vote
KI
2005
Springer
15 years 12 months ago
2005
Springer
Dealing with methods of human-robot interaction and using a real mobile robot, stable methods for people detection and tracking are fundamental features of such a system and requir...
189
click to vote
SCP
2010
15 years 4 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
165
click to vote
AVSS
2005
IEEE
16 years 3 days ago
2005
IEEE
We present an integrated pixel segmentation and region tracking algorithm, designed for indoor environments. Visual monitoring systems often use frame differencing techniques to i...
154
click to vote
IROS
2007
IEEE
16 years 23 days ago
2007
IEEE
— Affordances represent the behavior of objects in terms of the robot’s motor and perceptual skills. This type of knowledge plays a crucial role in developmental robotic system...
196
click to vote
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...