Sciweavers

2383 search results - page 366 / 477
» Anticipatory Behavioral Control
Sort
View
GECCO
2007
Springer
164views Optimization» more  GECCO 2007»
15 years 7 months ago
Is the island model fault tolerant?
In this paper, we present a study on the fault tolerance nature of the island model when applied to Genetic Algorithms. Parallel and distributed models have been extensively appli...
José Ignacio Hidalgo, Juan Lanchares, Franc...
HYBRID
2007
Springer
15 years 7 months ago
Robust Test Generation and Coverage for Hybrid Systems
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
A. Agung Julius, Georgios E. Fainekos, Madhukar An...
110
Voted
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
15 years 7 months ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
107
Voted
IWINAC
2007
Springer
15 years 7 months ago
Evolving Robot Behaviour at Micro (Molecular) and Macro (Molar) Action Level
We investigate how it is possible to shape robot behaviour adopting a molecular or molar point of view. These two ways to approach the issue are inspired by Learning Psychology, wh...
Michela Ponticorvo, Orazio Miglino
103
Voted
KI
2007
Springer
15 years 7 months ago
Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework
To achieve complex missions an autonomous unmanned aerial vehicle (UAV) operating in dynamic environments must have and maintain situational awareness. This can be achieved by cont...
Fredrik Heintz, Piotr Rudol, Patrick Doherty