3025 search results - page 135 / 605 » Automatic Programming of Robots Using Genetic Programming |
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
—Operations languages are used to write spacecraft operations procedures. The APPAREIL tool automates the process of generating program translators between operations languages, ...
130
click to vote
TSP
2008
15 years 2 months ago
2008
The focus of this paper is on VLIW instruction scheduling that minimizes the variation of power consumed by the processor during the execution of a target program. We use rough set...
117
click to vote
APLAS
2009
ACM
15 years 9 months ago
2009
ACM
We describe an algorithm for synthesizing resource invariants that are used in the verification of concurrent programs. This synthesis employs bi-abductive inference to identify t...
180
click to vote
AMS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper proposes a novel architecture for the programming of multi-modal service robots and networked sensors. The presented software framework eases the development o...
143
click to vote
ISMB
1994
15 years 4 months ago
1994
Apilot program,CME,is describedfor generatinga physical genetic mapfromhybridization fingerprintingdata. CMEis implementedin the parallel constraint logic programming language Eli...