4609 search results - page 202 / 922 » Automatic Generation of Sigma-Protocols |
157
click to vote
ROBOCUP
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. The automated generation of multimedia reports for timevarying scenes on the basis of visual data constitutes a challenging research goal with a high potential for many i...
206
click to vote
AOSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Software agents are a promising technology for today's complex, distributed systems. Methodologies and techniques that address testing and reliability of multi agent...
174
click to vote
EMNLP
2004
15 years 7 months ago
2004
We apply statistical machine translation (SMT) tools to generate novel paraphrases of input sentences in the same language. The system is trained on large volumes of sentence pair...
127
click to vote
AAAI
1990
15 years 7 months ago
1990
PABLO' is a nonlinear planner that reasons hially by generating abstract predicates. PABLO's abstract search spaces are generated automatically using predicate relaxatio...
184
click to vote
ENTCS
2008
15 years 6 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...