215 search results - page 16 / 43 » On Abstract Finite-State Morphology |
GECCO
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. This article presents experiments that integrate competitive coevolution of neural robot controllers with ‘co-evolution’ of robot morphologies and control systems. Mo...
JSCIC
2008
2008
Mathematical and Numerical Aspects of a Phase-field Approach to Critical Nuclei Morphology in Solids
13 years 8 months ago
Abstract We investigate a phase-field model for homogeneous nucleation and critical nucleus morphology in solids. We analyze the mathematical properties of a free energy functional...
IMCSIT
2010
13 years 6 months ago
2010
Abstract--We present a tool that facilitates the efficient extension of morphological lexica. The tool exploits information from a morphological lexicon, a morphological grammar an...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
RULEML
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Event processing rules may be prescribed in many different ways, including by finite state machines, graphical methods, ECA (event-conditionaction) rules or reactive rule...