4270 search results - page 211 / 854 » Implementation of interactive poster |
132
click to vote
HCI
2009
15 years 1 months ago
2009
Abstract. One of the main challenges of interaction in a ubiquitous environment is the use of hand gestures for interacting with day to day applications. This interaction may be ne...
135
click to vote
HRI
2012
ACM
13 years 11 months ago
2012
ACM
The advent of ROS, the Robot Operating System, has finally made it possible to implement and use state-of-the-art navigation and manipulation algorithms on widely-available, inex...
162
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
151
click to vote
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
118
click to vote
WICSA
2001
15 years 5 months ago
2001
Increasingly, systems are composed from independently developed parts, and mechanisms that allow those parts to interact (connectors). In many situations, specialized forms of int...