8917 search results - page 1555 / 1784 » Abstraction in Algorithm Animation |
152
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
141
click to vote
CEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract-- Genetic algorithms have been used to evolve several neural network architectures. In a previous effort, we introduced the evolution of three well known ART architects; F...
148
click to vote
CEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract-- This paper presents an artificial homeostatic system (AHS) devoted to the autonomous navigation of mobile robots, with emphasis on neuro-endocrine interactions. The AHS ...
142
click to vote
MMB
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
144
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
The efficient execution of integration processes between distributed, heterogeneous data sources and applications is a challenging research area of data management. These inn proc...