Sciweavers

AAAI
2007
14 years 6 hour ago
Counting CSP Solutions Using Generalized XOR Constraints
We present a general framework for determining the number of solutions of constraint satisfaction problems (CSPs) with a high precision. Our first strategy uses additional binary...
Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabha...
AAAI
2007
14 years 6 hour ago
L2R: A Logical Method for Reference Reconciliation
The reference reconciliation problem consists in deciding whether different identifiers refer to the same data, i.e., correspond to the same world entity. The L2R system exploits...
Fatiha Saïs, Nathalie Pernelle, Marie-Christi...
AAAI
2007
14 years 6 hour ago
On the Value of Good Advice: The Complexity of A* Search with Accurate Heuristics
We study the behavior of the classical A∗ search algorithm when coupled with a heuristic that provides estimates, accurate to within a small multiplicative factor, of the distan...
Hang T. Dinh, Alexander Russell, Yuan Su
AAAI
2008
14 years 6 hour ago
A New Incomplete Method for CSP Inconsistency Checking
Checking CSP consistency is shown, in theory, to be an NP-complete problem. There is two families of methods for CSP consistency checking. The first family holds the complete meth...
Belaid Benhamou, Mohamed Réda Saïdi
AAAI
2007
14 years 6 hour ago
Mobile Service for Reputation Extraction from Weblogs - Public Experiment and Evaluation
In this paper, we introduce a mobile service that extracts reputations of a product from weblogs by cellular phones during shopping. If the user takes a photo of a product barcode...
Takahiro Kawamura, Shinichi Nagano, Masumi Inaba, ...
AAAI
2008
14 years 6 hour ago
Decompositions of Grammar Constraints
Claude-Guy Quimper, Toby Walsh
AAAI
2008
14 years 6 hour ago
Unstructured Audio Classification for Environment Recognition
My thesis aims to contribute towards building autonomous agents that are able to understand their surrounding environment through the use of both audio and visual information. To ...
Selina Chu
AAAI
2007
14 years 6 hour ago
Machine Learning for Automatic Mapping of Planetary Surfaces
We describe an application of machine learning to the problem of geomorphic mapping of planetary surfaces. Mapping landforms on planetary surfaces is an important task and the fi...
Tomasz F. Stepinski, Soumya Ghosh, Ricardo Vilalta
AAAI
2008
14 years 6 hour ago
Incorporating Mental Simulation for a More Effective Robotic Teammate
How can we facilitate human-robot teamwork? The teamwork literature has identified the need to know the capabilities of teammates. How can we integrate the knowledge of another ag...
William G. Kennedy, Magdalena D. Bugajska, William...
AAAI
2007
14 years 6 hour ago
A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies
We present the syntax and semantics of a modular ontology language SHOIQP to support context-specific reuse of knowledge from multiple ontologies. A SHOIQP ontology consists of m...
Jie Bao, Giora Slutzki, Vasant Honavar