Sciweavers

IJCAI
2003
13 years 8 months ago
A Maximal Tractable Class of Soft Constraints
Many optimization problems can be expressed us­ ing some form of soft constraints, where different measures of desirability arc associated with differ­ ent combinations of domai...
David A. Cohen, Martin C. Cooper, Peter Jeavons, A...
IJCAI
2003
13 years 8 months ago
Integrating Information to Bootstrap Information Extraction from Web Sites
In this paper we propose a methodology to learn to extract domain-specific information from large repositories (e.g. the Web) with minimum user intervention. Learning is seeded b...
Fabio Ciravegna, Alexiei Dingli, David Guthrie, Yo...
IJCAI
2003
13 years 8 months ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
IJCAI
2003
13 years 8 months ago
Where is ...? Learning and Utilizing Motion Patterns of Persons with Mobile Robots
Whenever people move through their environments they do not move randomly. Instead, they usually follow specific trajectories or motion patterns corresponding to their intentions....
Grzegorz Cielniak, Maren Bennewitz, Wolfram Burgar...
IJCAI
2003
13 years 8 months ago
Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule
Many different rules for decision making have been introduced in the literature. We show that a notion of generalized expected utility proposed in [Chu and Halpern 2003] is a uni...
Francis C. Chu, Joseph Y. Halpern
IJCAI
2003
13 years 8 months ago
Great Expectations. Part I: On the Customizability of Generalized Expected Utility
We propose a generalization of expected utility that we call generalized EU (GEU), where a deci­ sion maker's beliefs are represented by plausibil­ ity measures and the dec...
Francis C. Chu, Joseph Y. Halpern
IJCAI
2003
13 years 8 months ago
Propagation Redundancy for Permutation Channels
Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
IJCAI
2003
13 years 8 months ago
On a generalization of triangulated graphs for domains decomposition of CSPs
In [Jegou, 1993], a decomposition method has been introduced for improving search efficiency in the area of Constraint Satisfaction Problems. This method is based on properties of...
Assef Chmeiss, Philippe Jégou, Lamia Keddar
IJCAI
2003
13 years 8 months ago
Information Extraction from Tree Documents by Learning Subtree Delimiters
Information extraction from HTML pages has been conventionally treated as plain text documents extended with HTML tags. However, the growing maturity and correct usage of HTML/XHT...
Boris Chidlovskii
IJCAI
2003
13 years 8 months ago
Efficient Representation of Adhoc Constraints
Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuc...