4099 search results - page 304 / 820 » A Framework for Interactive Proof |
158
click to vote
ICRA
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract— This paper presents a novel approach to mapping for mobile robots that exploits user interaction to semiautonomously create a labelled map of the environment. The robot...
180
click to vote
CSL
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
164
click to vote
ESWS
2005
Springer
16 years 5 days ago
2005
Springer
When information services are organized to provide some composed functionality, their interactions can be formally represented as workflows. Traditionally, workflows are executed...
192
click to vote
INTETAIN
2005
Springer
16 years 4 days ago
2005
Springer
We present COHIBIT, an edutainment exhibit for theme parks in an ambient intelligence environment. It combines ultimate robustness and simplicity with creativity and fun. The visit...
147
click to vote
ITRUST
2005
Springer
16 years 4 days ago
2005
Springer
Business Processes for Web Services are the new paradigm for lightweight enterprise integration. They cross organizational boundaries, are provided by entities that see each other ...