EPIA
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. The paper introduces a reinforcement learning-based methodology for performance improvement of Intelligent Controllers. The translation interfaces of a 3-level Hierarchic...
WIA
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We describe an algorithm to deal with automatic error repair over unrestricted context-free languages. The method relies on a regional least-cost repair strategy with val...
WIA
2000
Springer
13 years 11 months ago
2000
Springer
WIA
2000
Springer
13 years 11 months ago
2000
Springer
WIA
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We describe a general automata-theoretic approach for analyzing the verification problems (binary reachability, safety, etc.) of discrete timed automata augmented with va...
EPIA
1995
Springer
13 years 11 months ago
1995
Springer
EPIA
1995
Springer
13 years 11 months ago
1995
Springer
This paper describes a method to enhance the performance ofa unification-style bottom-up chart parser by means oftop-down filtering techniques. The filter developed consists of a s...
EPIA
1995
Springer
13 years 11 months ago
1995
Springer
We provide a nine-valued logic to characterize the models of logic programs under a paraconsistent well-founded semantics with explicit negation WFSX p. We define a truth-function...
ECAL
1995
Springer
13 years 11 months ago
1995
Springer
We present a new self-reproducing cellular automaton capable of construction and computation beyond self-reproduction. Our automaton makes use of some of the concepts developed by...
ECAL
1995
Springer
13 years 11 months ago
1995
Springer
After an outline of the history of evolutionary algorithms, a new ( ) variant of the evolution strategies is introduced formally. Though not comprising all degrees of freedom, it i...