1082 search results - page 49 / 217 » tools 2000 |
84
Voted
FMCAD
2000
Springer
15 years 4 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...
78
Voted
ANLP
1997
15 years 1 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...
175
Voted
ISCAICIS
2000
15 years 1 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
15 years 1 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 ...
74
Voted
ANLP
1994
15 years 1 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...