Sciweavers

1760 search results - page 90 / 352
» A System to Mark Programs Automatically
Sort
View
RAS
2010
117views more  RAS 2010»
14 years 10 months ago
Direct programming of a central pattern generator for periodic motions by touching
Much of the literature shows that Central Pattern Generators (CPGs) are a good approach for generating periodic motions for legged robots. In most of the presented works the numer...
Fabio Dalla Libera, Takashi Minato, Hiroshi Ishigu...
IWMM
2009
Springer
122views Hardware» more  IWMM 2009»
15 years 6 months ago
Parametric heap usage analysis for functional programs
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
Leena Unnikrishnan, Scott D. Stoller
GECCO
2009
Springer
130views Optimization» more  GECCO 2009»
15 years 4 months ago
Neutrality and variability: two sides of evolvability in linear genetic programming
The notion of evolvability has been put forward to describe the“core mechanism”of natural and artificial evolution. Recently, studies have revealed the influence of the envi...
Ting Hu, Wolfgang Banzhaf
NCA
2010
IEEE
14 years 6 months ago
Composable continuous-space programs for robotic swarms
Programmability is an increasingly important barrier to the deployment of multi-robot systems, as no prior approach allows routine composition and reuse of general aggregate behavi...
Jonathan Bachrach, Jacob Beal, James McLurkin
POPL
1998
ACM
15 years 4 months ago
From System F to Typed Assembly Language
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
J. Gregory Morrisett, David Walker, Karl Crary, Ne...