447 search results - page 73 / 90 » A Probabilistic Calculus of Actions |
PODC
2004
ACM
15 years 4 months ago
2004
ACM
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
ENTCS
2008
14 years 11 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
100
click to vote
IROS
2007
IEEE
15 years 5 months ago
2007
IEEE
— In an effort to ease the burden of programming motor commands for humanoid robots, a computer vision technique is developed for converting a monocular video sequence of human p...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
In many distributed computing systems that are prone to either induced or spontaneous node failures, the number of available computing resources is dynamically changing in a rando...
ICCV
1995
IEEE
15 years 2 months ago
1995
IEEE
Previous efforts at facial expression recognition have been based on the Facial Action Coding System (FACS), a representation developed in order to allow human psychologists to co...