Sciweavers

2924 search results - page 385 / 585
» An Intelligent Multi-Dictionary Environment
Sort
View
EVOW
1998
Springer
15 years 10 months ago
Evolutionary Robotics: A Survey of Applications and Problems
This paper reviews evolutionary approaches to the automatic design of real robots exhibiting a given behavior in a given environment. Such a methodology has been successfully appl...
Jean-Arcady Meyer, Phil Husbands, Inman Harvey
ICTAI
1994
IEEE
15 years 10 months ago
Iterative Strengthening: An Algorithm for Generating Anytime Optimal Plans
In order to perform adequately in real-world situations, a planning system must be able to nd the \best" solution while still supporting anytime behavior. We have developed ...
Randall J. Calistri-Yeh
ICAIL
2007
ACM
15 years 10 months ago
Towards automatic identification of completeness and consistency in digital dossiers
The emergence of digital dossiers in Courts of Law presents new opportunities to streamline the criminal prosecution chain. This papers proposes the use of agent technology to sup...
Martijn Warnier, Frances M. T. Brazier, Martin Api...
AISC
2004
Springer
15 years 10 months ago
Four Approaches to Automated Reasoning with Differential Algebraic Structures
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
Jesús Aransay, Clemens Ballarin, Julio Rubi...
ATAL
2006
Springer
15 years 10 months ago
A Market-Pressure-Based Performance Evaluator for TAC-SCM
Abstract. This paper proposes a novel method to characterize the performance of autonomous agents in the Trading Agent Competition for Supply Chain Management (TAC-SCM). We create ...
Brett Borghetti, Eric Sodomka, Maria L. Gini, John...