EPIA
1995
Springer
14 years 1 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
14 years 1 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
14 years 1 months ago
2000
Springer
WIA
2000
Springer
14 years 1 months ago
2000
Springer
WIA
2000
Springer
14 years 1 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
14 years 1 months ago
1995
Springer
EPIA
1995
Springer
14 years 1 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
14 years 1 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
14 years 1 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
14 years 1 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...