Sciweavers

KI
2006
Springer
13 years 11 months ago
Active Monte Carlo Recognition
In this paper we introduce Active Monte Carlo Recognition (AMCR), a new approach for object recognition. The method is based on seeding and propagating "relational" part...
Felix von Hundelshausen, Manuela M. Veloso
KI
2006
Springer
13 years 11 months ago
Agent Logics as Program Logics: Grounding KARO
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
Koen V. Hindriks, John-Jules Ch. Meyer
KI
2006
Springer
13 years 11 months ago
A Framework for Quasi-exact Optimization Using Relaxed Best-First Search
Abstract. In this paper, a framework for previous and new quasi-exact extensions of the A -algorithm is presented. In contrast to previous approaches, the new methods guarantee to ...
Rüdiger Ebendt, Rolf Drechsler
KI
2006
Springer
13 years 11 months ago
Relation Instantiation for Ontology Population Using the Web
The Semantic Web requires automatic ontology population methods. We developed an approach, that given existing ontologies, extracts instances of ontology relations, a specific subt...
Viktor de Boer, Maarten van Someren, Bob J. Wielin...
KI
2006
Springer
13 years 11 months ago
DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics
We present DiaWOz-II, a configurable software environment for Wizard-of-Oz studies in mathematics and engineering. Its interface is based on a structural wysiwyg editor which allow...
Christoph Benzmüller, Helmut Horacek, Ivana K...
KI
2006
Springer
13 years 11 months ago
Gray Box Robustness Testing of Rule Systems
Due to their simple and intuitive manner rules are often used for the implementation of intelligent systems. Besides general methods for the verification and validation of rule sys...
Joachim Baumeister, Jürgen Bregenzer, Frank P...
KI
2006
Springer
13 years 11 months ago
Solving Proportional Analogies by E -Generalization
We present an approach for solving proportional analogies of the form A : B :: C : D where a plausible outcome for D is computed. The core of the approach is E
Stephan Weller, Ute Schmid