1082 search results - page 49 / 217 » tools 2000 |
FMCAD
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
ANLP
1997
13 years 11 months ago
1997
We describe our experiences building spoken language interfaces to four demonstration applications all involving 2- or 3-D spatial displays or gestural interactions: an air combat...
ISCAICIS
2000
13 years 11 months ago
2000
The overhead and computer projectors have become an essential element to the classroom and corporate settings. Users of web-based classes and conferences would like to have access...
ANLP
1997
13 years 11 months ago
1997
In this paper, we describe a method for automatic creation of a knowledge source for text generation using information extraction over the Internet. We present a prototype system ...
ANLP
1994
13 years 11 months ago
1994
PLANDoc, a system under joint development by Columbia and Bellcore, documents the activity of planning engineers as they study telephone routes. It takes as input a trace of the e...