2607 search results - page 385 / 522 » On the Architecture of System Verification Environments |
167
click to vote
CN
1999
15 years 6 months ago
1999
Powerful servers for computation and storage, high-speed networking resources, and high-performance 3D graphics workstation, which are typically available in scientific research e...
173
click to vote
HCI
2009
15 years 4 months ago
2009
This paper will look at the human predisposition to oral tradition and its effectiveness as a learning tool to convey mission-critical information. After exploring the effectivenes...
179
click to vote
KI
2001
Springer
15 years 11 months ago
2001
Springer
The paper presents a new technique for extracting symbolic ground facts out of the sensor data stream in autonomous robots for use under hybrid control architectures, which compris...
178
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
This paper complements McCarthy's "The well designed child", in part by putting it in a broader context, the space of possible well designed progeny, and in part by...
197
click to vote
PERCOM
2003
ACM
16 years 6 months ago
2003
ACM
This paper introduces a new class of interactive interfaces that can be moved around to appear on ordinary objects and surfaces anywhere in a space. By dynamically adapting the fo...