3025 search results - page 481 / 605 » Automatic Programming of Robots Using Genetic Programming |
136
Voted
CSMR
2004
IEEE
15 years 6 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
125
Voted
EUROPAR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Automatic performance analysis of parallel programs can be accomplished by scanning event traces of program execution for patterns representing inefficient behavior. The ...
104
Voted
NIPS
2008
15 years 4 months ago
2008
A novel center-based clustering algorithm is proposed in this paper. We first formulate clustering as an NP-hard linear integer program and we then use linear programming and the ...
139
Voted
ENTCS
2008
15 years 2 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
113
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
A protein is a sequence of amino-acids of length typically less than 1, 000, where there are 20 kinds of amino-acids. In nature, each protein is folded into a well-defined three-d...