Sciweavers

1246 search results - page 203 / 250
» Online testing with model programs
Sort
View
IJRR
2008
106views more  IJRR 2008»
13 years 10 months ago
Cooperative Cleaners: A Study in Ant Robotics
Abstract. In the world of living creatures, "simple minded" animals often cooperate to achieve common goals with amazing performance. One can consider this idea in the co...
Israel A. Wagner, Yaniv Altshuler, Vladimir Yanovs...
ENGL
2007
136views more  ENGL 2007»
13 years 10 months ago
Multilayered Evolutionary Architecture for Behaviour Arbitration in Cognitive Agents
— In this work, an hybrid, self-configurable, multilayered and evolutionary subsumption architecture for cognitive agents is developed. Each layer of the multilayered architectur...
Oscar Javier Romero López
NGC
2006
Springer
13 years 10 months ago
The Transformational Creativity Hypothesis
The work of Boden on the nature of creativity has been extremely influential, particularly the hypothesis that the highest form of creativity results from transformation of a conce...
Graeme Ritchie
LPAR
2010
Springer
13 years 8 months ago
Interpolating Quantifier-Free Presburger Arithmetic
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
Daniel Kroening, Jérôme Leroux, Phili...
SBMF
2009
Springer
105views Formal Methods» more  SBMF 2009»
14 years 5 months ago
Verifying Compiled File System Code
Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
Jan Tobias Mühlberg, Gerald Lüttgen