Sciweavers

624 search results - page 32 / 125
» Mutant Query Plans
Sort
View
CONCUR
2006
Springer
15 years 3 months ago
Sanity Checks in Formal Verification
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
Orna Kupferman
ACL
2012
13 years 2 months ago
Collective Generation of Natural Image Descriptions
We present a holistic data-driven approach to image description generation, exploiting the vast amount of (noisy) parallel image data and associated natural language descriptions ...
Polina Kuznetsova, Vicente Ordonez, Alexander C. B...
AIPS
1996
15 years 1 months ago
Building a Planner for Information Gathering: A Report from the Trenches
Informationgathering requires locating and integrating data froma set of distributed informationsources. These sources maycontain overlapping data and can comefrom different types...
Craig A. Knoblock
EACL
1989
ACL Anthology
15 years 1 months ago
A Metaplan Model For Problem-Solving Discourse
The structure of problem-solving discourse in the expert advising setting can be modeled by adding a layer of metaplans to a plan-based model of the task domain. Classes of metapl...
Lance A. Ramshaw
ACSC
2001
IEEE
15 years 3 months ago
Optimised Phrase Querying and Browsing of Large Text Databases
Most search systems for querying large document collections---for example, web search engines---are based on well-understood information retrieval principles
Dirk Bahle, Hugh E. Williams, Justin Zobel