4609 search results - page 191 / 922 » Automatic Generation of Sigma-Protocols |
152
click to vote
ACL
2008
15 years 8 months ago
2008
Grounded language models represent the relationship between words and the non-linguistic context in which they are said. This paper describes how they are learned from large corpo...
158
click to vote
ICRA
2008
IEEE
16 years 27 days ago
2008
IEEE
— Novel tools are needed to deploy multi-agent networks in applications that require a high degree of accuracy in the achievement and maintenance of geometric formations. This is...
167
click to vote
IEEESCC
2006
IEEE
16 years 15 days ago
2006
IEEE
— This paper demonstrates the automatic creation of a web service that chains together existing web services to achieve a particular goal. The generated service implements the ne...
187
click to vote
LOPSTR
2004
Springer
15 years 11 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
182
click to vote
DEXA
2003
Springer
15 years 11 months ago
2003
Springer
: We demonstrate an approach to transform keyword queries automatically into queries that combine keywords appropriately by boolean operations, such as and and or. Our approach is ...