84 search results - page 13 / 17 » A Multi-Agent System Approach for Interactive Table Using RF... |
115
Voted
AVI
1996
15 years 2 months ago
1996
: This paper introduces a visual interface for computer-supported cooperative work (CSCW). The interface is an extension of the editor interface of ESCHER, a prototype database sys...
121
Voted
ACMDIS
2000
ACM
15 years 5 months ago
2000
ACM
: Expanding the functionality of a successful system is always a challenge; the initial simplicity and ease-of-use is easily lost in the process. Experience indicates that this pro...
114
Voted
ROBOCOMM
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract—Robust, dependable and concise coordination between members of a robot team is a critical ingredient of any such collective activity. Depending on the availability and t...
207
Voted
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
106
Voted
JUCS
2010
14 years 11 months ago
2010
: This paper presents an agent-based system for building and operating agent-based context-aware services in public spaces, including museums. The system provides users with agents...