3025 search results - page 420 / 605 » Automatic Programming of Robots Using Genetic Programming |
125
click to vote
NCA
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper deals with general nested loops and proposes a novel scheduling methodology for reducing the communication cost of parallel programs. General loops contain complex loop...
126
click to vote
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
117
click to vote
ISLPED
2003
ACM
15 years 8 months ago
2003
ACM
The power consumption of a sequential circuit can be reduced by decomposing it into subcircuits which can be turned off when inactive. Power can also be reduced by careful state e...
132
click to vote
UIST
2003
ACM
15 years 8 months ago
2003
ACM
This paper presents a novel image editing program emphasizing easy selection and manipulation of material found in informal, casual documentssuch as sketches, handwrittennotes, wh...
138
click to vote
3DPVT
2002
IEEE
15 years 8 months ago
2002
IEEE
3D medical images produced in health centers represent tremendous amounts of data spread over different places. Automatic processing of these data often allow quantitative and rep...