Sciweavers

4987 search results - page 25 / 998
» Support Ordered Resolution
Sort
View
IJCAI
2003
15 years 3 months ago
Practical Partition-Based Theorem Proving for Large Knowledge Bases
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...
Bill MacCartney, Sheila A. McIlraith, Eyal Amir, T...
97
Voted
GLOBECOM
2010
IEEE
14 years 12 months ago
A Dynamic Framed ALOHA Scheme for Batch Resolution in Practical CSMA-Based Wireless Networks
Abstract--The batch resolution problem consists in arbitrating the channel access of a group of nodes in a wireless network in order to collect a single packet from each node in th...
Andrea Zanella
97
Voted
CLEF
2007
Springer
15 years 8 months ago
Web-Based Anaphora Resolution for the QUASAR Question Answering System
This paper describes the work done by the RFIA group at the Departamento de Sistemas Inform´aticos y Computaci´on of the Universidad Polit´ecnica of Valencia for the 2007 editio...
Davide Buscaldi, Yassine Benajiba, Paolo Rosso, Em...
119
Voted
CAISE
2006
Springer
15 years 3 months ago
Resolving Underconstrained and Overconstrained Systems of Conjunctive Constraints for Service Requests
Given a service request such as scheduling an appointment or purchasing a product, it is possible that the invocation of the service results in too many solutions that all satisfy ...
Muhammed Al-Muhammed, David W. Embley
84
Voted
FLAIRS
2008
15 years 4 months ago
CANDEL: An Algorithm for Same-Sentence Pronominal Resolution
This paper presents a syntactic path-based learning algorithm (CANDEL from CANDIDATE-ELIMINATION) for the coreference resolution of pronouns that have their antecedents in the sam...
Cristina Nicolae, Gabriel Nicolae