4609 search results - page 621 / 922 » Automatic Generation of Sigma-Protocols |
143
click to vote
LISA
1994
15 years 8 months ago
1994
This paper presents a machine configuration system which stores all configuration parameters in a central ``database''. The system is dynamic in the sense that machines ...
159
click to vote
NAACL
1994
15 years 8 months ago
1994
We present an overview of Candide, a system for automatic translation of French text to English text. Candide uses methods of information theory and statistics to develop a probab...
174
click to vote
NAACL
1994
15 years 8 months ago
1994
Because of the complexity of documents and the variety of applications which must be supported, document understanding requires the integration of image understanding with text un...
158
click to vote
WSC
1996
15 years 8 months ago
1996
Construction operations are often repetitive not only in terms of time (the same tasks are performed over and over) but also in terms of space (the same tasks are repeated at seve...
160
click to vote
AAAI
1990
15 years 7 months ago
1990
Identifying the regularities underlying speaker decisions to emphasize or de-emphasize an item intonationally has long been the subject of speculation and controversy. This paper ...