3025 search results - page 321 / 605 » Automatic Programming of Robots Using Genetic Programming |
119
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
112
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
142
click to vote
GECCO
2000
Springer
15 years 7 months ago
2000
Springer
We describe the use of grammars as an approach to automatic function definition in Grammatical Evolution. The automatic generation of functions allows the evolution of both the fu...
160
Voted
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
Software attacks often subvert the intended data-flow in a vulnerable program. For example, attackers exploit buffer overflows and format string vulnerabilities to write data to u...
142
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...