4609 search results - page 439 / 922 » Automatic Generation of Sigma-Protocols |
178
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper reports on research on the generation of hypermedia (Web) applications for querying multimedia databases. In [5] we have proposed a heuristic algorithm for generating n...
149
click to vote
AIPS
2008
15 years 9 months ago
2008
Despite the recent resurgence of interest in learning methods for planning, most such efforts are still focused exclusively on classical planning problems. In this work, we invest...
164
click to vote
EMNLP
2008
15 years 8 months ago
2008
In this paper we present a textual dialogue system that uses word associations retrieved from the Web to create propositions. We also show experiment results for the role of modal...
186
click to vote
AAAI
2006
15 years 8 months ago
2006
Assume that we are trying to build a visual recognizer for a particular class of objects--chairs, for example--using existing induction methods. Assume the assistance of a human t...
157
click to vote
AIPS
2003
15 years 8 months ago
2003
In this paper we describe a compromise between generative planning and special-purpose software. Hierarchical functional models are used by an intelligent system to represent its ...