3025 search results - page 273 / 605 » Automatic Programming of Robots Using Genetic Programming |
125
click to vote
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...
142
Voted
ACG
2009
Springer
15 years 8 months ago
2009
Springer
Endgame heuristics are often incorperated as part of the evaluation function used in Chinese chess programs. In our program, Contemplation, we have proposed an automatic strategy t...
120
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
167
click to vote
EPIA
2003
Springer
15 years 9 months ago
2003
Springer
Modern information retrieval systems need the capability to reason about the knowledge conveyed by text bases. In this paper a methodology to automatically create ontologies and cl...
140
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper presents a new method for a six degrees of freedom haptic feedback in molecular docking simulations in virtual reality. The proposed method allows real-time haptic i...