857 search results - page 96 / 172 » Interactive Consistency in Quasi-Asynchronous Systems |
ECAI
2000
Springer
14 years 1 days ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
ISSS
1997
IEEE
13 years 12 months ago
1997
IEEE
In this paper we present a method that allows to observe and control the emulation of communicating systems consisting of hardware and software parts. The approach provides the ab...
ANLP
1997
13 years 9 months ago
1997
This paper presents a prototype system for key term manipulation and visualization in a real-world commercial environment. The system consists of two components. A preprocessor ge...
TREC
2007
13 years 8 months ago
2007
The TREC 2007 question answering (QA) track contained two tasks: the main task consisting of series of factoid, list, and “Other” questions organized around a set of targets, ...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
We present fast 3D surface registration methods for inhand modeling. This allows users to scan complete objects swiftly by simply turning them around in front of the scanner. The ...