4099 search results - page 716 / 820 » A Framework for Interactive Proof |
165
Voted
ICMCS
2000
IEEE
15 years 8 months ago
2000
IEEE
: Automatic content-based analysis and indexing of broadcast news recordings or digitized news archives is becoming an important tool in the framework of many multimedia interactiv...
129
click to vote
SIGOPSE
2000
ACM
15 years 8 months ago
2000
ACM
Pervasive computing, with its focus on users and their tasks rather than on computing devices and technology, provides an attractive vision for the future of computing. But, while...
124
click to vote
CL
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Many key verification problems such as boundedmodel-checking,circuit verification and logical cryptanalysis are formalized with combined clausal and affine logic (i.e....
134
click to vote
VRML
1999
ACM
15 years 8 months ago
1999
ACM
We describe a VRML/Java-based virtual environment that is populated with heterogeneous articulated agents. In this simulated environment, agents compete for collecting certain obj...
166
Voted
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a distributed planning and control architecture for autonomous Multi-Manipulator Systems (MMS). The control architecture is implemented using an agent-based ap...