Sciweavers

SARA
2005
Springer
14 years 5 months ago
Approximate Model-Based Diagnosis Using Preference-Based Compilation
Abstract. This article introduces a technique for improving the efficiency of diagnosis through approximate compilation. We extend the approach of compiling a diagnostic model, as...
Gregory M. Provan
SARA
2005
Springer
14 years 5 months ago
The Cruncher: Automatic Concept Formation Using Minimum Description Length
Abstract. We present The Cruncher, a simple representation framework and algorithm based on minimum description length for automatically forming an ontology of concepts from attrib...
Marc Pickett, Tim Oates
SARA
2005
Springer
14 years 5 months ago
Multinomial Event Model Based Abstraction for Sequence and Text Classification
Dae-Ki Kang, Jun Zhang 0002, Adrian Silvescu, Vasa...
SARA
2005
Springer
14 years 5 months ago
Compositional Derivation of Symmetries for Constraint Satisfaction
This paper reconsiders the problems of discovering symmetries in constraint satisfaction problems (CSPs). It proposes a compositional approach which derives symmetries of the appli...
Pascal Van Hentenryck, Pierre Flener, Justin Pears...
SARA
2005
Springer
14 years 5 months ago
Learning Regular Expressions from Noisy Sequences
Abstract. The presence of long gaps dramatically increases the difficulty of detecting and characterizing complex events hidden in long sequences. In order to cope with this proble...
Ugo Galassi, Attilio Giordana
SARA
2005
Springer
14 years 5 months ago
Solving the 24 Puzzle with Instance Dependent Pattern Databases
A pattern database (PDB) is a heuristic function in a form of a lookup table which stores the cost of optimal solutions for instances of subproblems. bproblems are generated by abs...
Ariel Felner, Amir Adler
SARA
2005
Springer
14 years 5 months ago
Feature-Discovering Approximate Value Iteration Methods
Sets of features in Markov decision processes can play a critical role ximately representing value and in abstracting the state space. Selection of features is crucial to the succe...
Jia-Hong Wu, Robert Givan
SARA
2005
Springer
14 years 5 months ago
Learning Abstract Scheduling Models
Tom Carchrae, J. Christopher Beck