3025 search results - page 452 / 605 » Automatic Programming of Robots Using Genetic Programming |
125
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
The practice of software development can likely be improved if an externalized model of each programmer's knowledge of a particular code base is available. Some tools already...
148
click to vote
POPL
2010
ACM
16 years 9 days ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
117
click to vote
SIGCSE
2004
ACM
15 years 8 months ago
2004
ACM
Finding just the right example to answer a question can be difficult for CS1 students and teachers. For this to work well there must be an intuitive interface coupled to an approp...
129
click to vote
CAV
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
128
click to vote
BMCBI
2005
15 years 2 months ago
2005
Background: Many classification approaches have been applied to analyzing transcriptional regulation of gene expressions. These methods build models that can explain a gene's...