3025 search results - page 356 / 605 » Automatic Programming of Robots Using Genetic Programming |
110
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
113
Voted
IJBI
2010
14 years 10 months ago
2010
Size Functions and Support Vector Machines are used to implement a new automatic classifier of melanocytic lesions. This is mainly based on a qualitative assessment of asymmetry, ...
160
Voted
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
Low correlation between mRNA concentrations measured at different locations for the same exon show many current Ensembl exon definitions are incomplete. Automatically created pa...
134
Voted
RSS
2007
15 years 5 months ago
2007
— Multi-robot systems require efficient and accurate planning in order to perform mission-critical tasks. However, algorithms that find the optimal solution are usually computa...
155
Voted
DSN
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we propose a novel technique to detect all dangling pointer uses at run-time that is efficient enough for production use in server codes. One idea (previously used ...