3025 search results - page 131 / 605 » Automatic Programming of Robots Using Genetic Programming |
150
click to vote
LISP
2008
15 years 2 months ago
2008
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...
140
click to vote
ISSRE
2000
IEEE
15 years 7 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
103
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
– We present a lab-based, student-taught robotics course at Carnegie Mellon University entitled Fun With Robots. The course does not require background knowledge of robotics, and...
130
click to vote
CEC
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this paper we discuss the notion of situated evolution. Our treatment includes positioning situated evolution on the map of evolutionary processes in terms of time- and space...
210
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...