215 search results - page 16 / 43 » On Abstract Finite-State Morphology |
121
click to vote
GECCO
2003
Springer
15 years 11 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...
169
Voted
JSCIC
2008
2008
Mathematical and Numerical Aspects of a Phase-field Approach to Critical Nuclei Morphology in Solids
15 years 5 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...
137
click to vote
IMCSIT
2010
15 years 3 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...
138
click to vote
ICSE
2003
IEEE-ACM
16 years 5 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...
172
click to vote
RULEML
2009
Springer
16 years 10 days 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...