Sciweavers

3025 search results - page 165 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
POPL
2000
ACM
15 years 7 months ago
Enforcing Trace Properties by Program Transformation
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
Thomas Colcombet, Pascal Fradet
OOPSLA
2007
Springer
15 years 9 months ago
Understanding programmer language
The use of bad names — names that are wrong, inconsistent or inconcise — hinder program comprehension. The root of the problem is that there is no mechanism for aligning the n...
Einar W. Høst
BMCBI
2008
126views more  BMCBI 2008»
15 years 3 months ago
Automatic inference of indexing rules for MEDLINE
This paper describes the use and customization of Inductive Logic Programming (ILP) to infer indexing rules from MEDLINE citations. Preliminary results suggest this method may enh...
Aurélie Névéol, Sonya E. Shoo...
HRI
2012
ACM
13 years 10 months ago
ROS and Rosbridge: roboticists out of the loop
The advent of ROS, the Robot Operating System, has finally made it possible to implement and use state-of-the-art navigation and manipulation algorithms on widely-available, inex...
Christopher Crick, Graylin Jay, Sarah Osentoski, O...
ROBOCUP
1998
Springer
156views Robotics» more  ROBOCUP 1998»
15 years 7 months ago
Cooperative Behavior Acquisition in a Multiple Mobile Robot Environment by Co-evolution
Co-evolution has been receiving increased attention as a method for multi agent simultaneous learning. This paper discusses how multiple robots can emerge cooperative behaviors thr...
Eiji Uchibe, Masateru Nakamura, Minoru Asada