Sciweavers

4099 search results - page 404 / 820
» A Framework for Interactive Proof
Sort
View
SEKE
2004
Springer
16 years 4 days ago
AgentService
This paper describes the software infrastructure introduced within the AgentService framework in order to provide support for ontology design, development, and management. Ontolog...
Antonio Boccalatte, Andrea Gozzi, Alberto Grosso, ...
166
Voted
CHI
2000
ACM
15 years 11 months ago
A diary study of information capture in working life
Despite the increasing number of new devices entering the market allowing the capture or recording of information (whether it be marks on paper, scene, sound or moving images), th...
Barry A. T. Brown, Abigail Sellen, Kenton O'Hara
SNPD
2008
15 years 8 months ago
Testing Component-Based Real Time Systems
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
Rachid Bouaziz, Ismail Berrada
GEOINFO
2004
15 years 8 months ago
Design and Implementation Issues for Explorative Location-based Applications: The NexusRallye
: Explorative Location-based Applications (eLBA), define a new class of applications that rely on both positioning (i.e. location information) and georeferenced information in addi...
Daniela Nicklas, Nicola Hönle, Michael Molten...
APPINF
2003
15 years 8 months ago
Robotic Societies: Elements of Learning by Imitation
Imitation enables the individuals to acquire new abilities, and encourages social interaction and cultural transfer. The capability to obtain new abilities by observation represen...
Carlos Antonio Acosta Calderon, Huosheng Hu