3025 search results - page 389 / 605 » Automatic Programming of Robots Using Genetic Programming |
185
click to vote
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
115
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...
103
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
140
click to vote
JMLR
2012
13 years 5 months ago
2012
We present SpeedBoost, a natural extension of functional gradient descent, for learning anytime predictors, which automatically trade computation time for predictive accuracy by s...
159
Voted
CASCON
1992
15 years 4 months ago
1992
Metaprogramming is the process of specifying generic software source templates from which classes of software components, or parts thereof, can be automatically instantiated to pr...