3379 search results - page 187 / 676 » Combinators for Interaction Nets |
145
click to vote
DATE
2008
IEEE
15 years 11 months 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...
131
Voted
ICMCS
2007
IEEE
15 years 11 months 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...
138
click to vote
ROMAN
2007
IEEE
15 years 11 months 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 ...
147
click to vote
ISVC
2007
Springer
15 years 10 months 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...
133
click to vote
SRDS
2005
IEEE
15 years 10 months 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...