2383 search results - page 186 / 477 » Anticipatory Behavioral Control |
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— We discuss a framework for defining physical open systems on higher-dimensional complexes. We start with the formalization of the dynamics of open electrical circuits and the ...
ECAL
2003
Springer
14 years 2 months ago
2003
Springer
This paper presents results from a number of experiments within the area of competitive co-evolutionary robotics. The focus in these experiments has been on ‘co-evolving’ parts...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— A fundamental problem in the field of motor neuroscience is to understand how our brain generates appropriate motor commands for precise movements effortlessly. The problem se...
CAV
2006
Springer
14 years 28 days ago
2006
Springer
We present a tool, called CAsCaDE, to check assertions in C programs as part of a multi-stage verification strategy. CAsCaDE takes as input a C program and a control file (the outp...
RSP
1998
IEEE
14 years 23 days ago
1998
IEEE
A technique to include virtual prototyping in the design cycle of complex digital modem ASICs is presented. It is innovating by using the same behavioral description for both the ...