4609 search results - page 281 / 922 » Automatic Generation of Sigma-Protocols |
199
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
The quality of the input system model has a direct bearing on the effectiveness of the system exploration and synthesis tools. Given a well-structured system model, tools today are...
161
click to vote
NAACL
2007
15 years 8 months ago
2007
The quality of a sentence translated by a machine translation (MT) system is difficult to evaluate. We propose a method for automatically evaluating the quality of each translati...
146
click to vote
IWPT
2001
15 years 8 months ago
2001
Natural language processing technologies offer ease-of-use of computers for average users, and easeof-access to on-line information. Natural language, however, is complex, and the...
155
click to vote
AAAI
1994
15 years 8 months ago
1994
Rather than create a control system from scratch each time we build a new robot creature, we would like to generate control systems automatically. I have implemented an algorithm ...
206
Voted
AAAI
1992
15 years 7 months ago
1992
The goal in automatic programming is to get a computer to perform a task by telling it what needs to be done, rather than by explicitly programming it. This paper considers the ta...