Sciweavers

332 search results - page 6 / 67
» Specifying Complex and Structured Systems with Evolving Alge...
Sort
View
FMSD
2006
77views more  FMSD 2006»
13 years 7 months ago
Data structures for symbolic multi-valued model-checking
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
Marsha Chechik, Arie Gurfinkel, Benet Devereux, Al...
ESANN
2007
13 years 9 months ago
Three-dimensional self-organizing dynamical systems for discrete structures memorizing and retrieval
The synthesis concept for dynamical system with the memory of multiple states defined with the quaternion algebra usage is considered. The system memorizes numerous configurations ...
Alexander Yudashkin
CONNECTION
2004
117views more  CONNECTION 2004»
13 years 7 months ago
Structure and function of evolved neuro-controllers for autonomous robots
The Artificial Life approach to Evolutionary Robotics is used as a fundamental framework for the development of a modular neural control of autonomous mobile robots. The applied e...
Martin Hülse, Steffen Wischmann, Frank Pasema...
ICSEA
2008
IEEE
14 years 1 months ago
Analyzing Software Evolvability of an Industrial Automation Control System: A Case Study
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
Hongyu Pei Breivold, Ivica Crnkovic, Rikard Land, ...
EH
2002
IEEE
111views Hardware» more  EH 2002»
14 years 14 days ago
Towards Development in Evolvable Hardware
Mapping between genotype and phenotype using a model of biological development has been widely touted as a technique for evolving solutions to large, complex problems [1-3]. Here ...
Timothy G. W. Gordon, Peter J. Bentley