4099 search results - page 404 / 820 » A Framework for Interactive Proof |
151
click to vote
SEKE
2004
Springer
16 years 4 days ago
2004
Springer
This paper describes the software infrastructure introduced within the AgentService framework in order to provide support for ontology design, development, and management. Ontolog...
166
Voted
CHI
2000
ACM
15 years 11 months ago
2000
ACM
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...
170
click to vote
SNPD
2008
15 years 8 months ago
2008
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...
138
click to vote
GEOINFO
2004
15 years 8 months ago
2004
: 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...
176
click to vote
APPINF
2003
15 years 8 months ago
2003
Imitation enables the individuals to acquire new abilities, and encourages social interaction and cultural transfer. The capability to obtain new abilities by observation represen...