3379 search results - page 187 / 676 » Combinators for Interaction Nets |
178
click to vote
DATE
2008
IEEE
16 years 29 days ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
155
click to vote
ICMCS
2007
IEEE
16 years 25 days ago
2007
IEEE
Large displays and hand gestures can be combined to augment the traditional desktop paradigm, allowing for multiple co-located users to interact simultaneously with a single compu...
174
click to vote
ROMAN
2007
IEEE
16 years 23 days ago
2007
IEEE
—This paper proposes a novel method of learning a users preferred reward modalities for human-robot interaction through solving a cooperative training task. A learning algorithm ...
183
click to vote
ISVC
2007
Springer
16 years 19 days ago
2007
Springer
We present an intuitive, fast and accurate interactive segmentation method for visualizing and analyzing 3D medical images. Our method combines a general deformable subdivision-sur...
172
click to vote
SRDS
2005
IEEE
16 years 2 days ago
2005
IEEE
We propose and evaluate a novel framework for enforcing global coordination and control policies over interacting software components in enterprise computing environments. This fra...