4609 search results - page 384 / 922 » Automatic Generation of Sigma-Protocols |
163
click to vote
LREC
2008
15 years 8 months ago
2008
This paper explores how a battery of unsupervised techniques can be used in order to create large, high-quality corpora for textual inference applications, such as systems for rec...
159
click to vote
ACL
2004
15 years 8 months ago
2004
A crucial step toward the goal of automatic extraction of propositional information from natural language text is the identification of semantic relations between constituents in ...
167
click to vote
FLAIRS
2004
15 years 8 months ago
2004
What makes a good consistency ? Depending on the constraint, it may be a good pruning power or a low computational cost. By "weakening" arc-consistency, we propose to de...
177
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
We have studied modular self-reconfigurable robots that are capable of changing their overall shape and functionality by automatic recombination of homogenous robotic modules. Our ...
177
click to vote
IJCAI
1993
15 years 8 months ago
1993
In this paper we present a technique for automatically generating constraints on parameter derivatives that reduce ambiguity in the behaviour prediction. Starting with a behaviour...