Sciweavers

ECAI
2006
Springer
13 years 11 months ago
Version Space Support Vector Machines
Evgueni N. Smirnov, Ida G. Sprinkhuizen-Kuyper, Ge...
ECAI
2006
Springer
13 years 11 months ago
Patch Learning for Incremental Classifier Design
We present a learning algorithm for nominal data. It builds a classifier by adding iteratively a simple patch function that modifies the current classifier. Its main advantage lies...
Rudy Sicard, Thierry Artières, Eric Petit
ECAI
2006
Springer
13 years 11 months ago
Verifying Interlevel Relations Within Multi-Agent Systems
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
Alexei Sharpanskykh, Jan Treur
ECAI
2006
Springer
13 years 11 months ago
Bridging the Gap Between Informal and Formal Guideline Representations
Abstract. Clinical guidelines are important means to improve quality of health care while limiting cost and supporting the medical staff. They are written as free text with tables ...
Andreas Seyfang, Silvia Miksch, Mar Marcos, Joland...
ECAI
2006
Springer
13 years 11 months ago
Interleaving Belief Updating and Reasoning in Abductive Logic Programming
Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...
Fariba Sadri, Francesca Toni
ECAI
2006
Springer
13 years 11 months ago
A Compression-Based Method for Stemmatic Analysis
Teemu Roos, Tuomas Heikkilä, Petri Myllym&aum...
ECAI
2006
Springer
13 years 11 months ago
Multi-Objective Propagation in Constraint Programming
Bounding constraints are used to bound the tolerance of solutions under certain undesirable features. Standard solvers propagate them one by one. Often times, it is easy to satisfy...
Emma Rollon, Javier Larrosa
ECAI
2006
Springer
13 years 11 months ago
Ensembles of Grafted Trees
Grafted trees are trees that are constructed using two methods. The first method creates an initial tree, while the second method is used to complete the tree. In this work, the fi...
Juan José Rodríguez, Jesús Ma...
ECAI
2006
Springer
13 years 11 months ago
Unified Definition of Heuristics for Classical Planning
In many types of planning algorithms distance heuristics play an important role. Most of the earlier works restrict to STRIPS operators, and their application to a more general lan...
Jussi Rintanen
ECAI
2006
Springer
13 years 11 months ago
Compact Representation of Sets of Binary Constraints
Abstract. We address the problem of representing big sets of binary constraints compactly. Binary constraints in the form of 2literal clauses are ubiquitous in propositional formul...
Jussi Rintanen