945 search results - page 112 / 189 » Evolving Symbolic Controllers |
CHI
2010
ACM
15 years 4 months ago
2010
ACM
Network visualisations use clustering approaches to simplify the presentation of complex graph structures. We present a novel application of clustering algorithms, which controls ...
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
CEDAR (Counter Example Driven Antichain Refinement) is a new symbolic algorithm for computing weakest strategies for safety games of imperfect information. The algorithm computes ...
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
We propose a crossover operator that works with genetic programming trees and is approximately geometric crossover in the semantic space. By defining semantic as program’s eval...
VTC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— We present a novel transceiver design for orthogonal frequency-division multiplexing (OFDM) wireless systems employing pilot symbol aided channel estimation (PSACE). Th...
FROCOS
2007
Springer
15 years 4 months ago
2007
Springer
In abstract algebra, a structure is said to be Noetherian if it does not admit infinite strictly ascending chains of congruences. In this paper, we adapt this notion to first-ord...