Sciweavers

2608 search results - page 204 / 522
» Inferring Answers to Queries
Sort
View
DEBU
2010
99views more  DEBU 2010»
15 years 6 months ago
Search-As-You-Type: Opportunities and Challenges
Traditional information systems return answers after a user submits a complete query. Users often feel "left in the dark" when they have limited knowledge about the unde...
Chen Li, Guoliang Li
IC
2009
15 years 4 months ago
Vague Content and Structure (VCAS) Retrieval for XML Electronic Healthcare Records (EHR)
Retrieving information from EHRs that are represented as XML documents is an important aspect for the users of this domain. Such retrieving may lead to some vague queries. There i...
Baydaa Al-Hamadani, Raad Alwan, Joan Lu, Jim Yip
PLDI
2012
ACM
13 years 9 months ago
Automated error diagnosis using abductive inference
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
Isil Dillig, Thomas Dillig, Alex Aiken
EDBT
2010
ACM
177views Database» more  EDBT 2010»
16 years 1 months ago
Bridging the gap between intensional and extensional query evaluation in probabilistic databases
There are two broad approaches to query evaluation over probabilistic databases: (1) Intensional Methods proceed by manipulating expressions over symbolic events associated with u...
Abhay Jha, Dan Olteanu, Dan Suciu
EON
2003
15 years 8 months ago
Racer: A Core Inference Engine for the Semantic Web
In this paper we describe Racer, which can be considered as a core inference engine for the semantic web. The Racer inference server offers two APIs that are already used by at le...
Volker Haarslev, Ralf Möller