3025 search results - page 273 / 605 » Automatic Programming of Robots Using Genetic Programming |
155
click to vote
APLAS
2005
ACM
16 years 6 days 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...
180
click to vote
ACG
2009
Springer
15 years 10 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...
149
click to vote
FM
2009
Springer
16 years 1 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...
220
click to vote
EPIA
2003
Springer
15 years 12 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...
166
click to vote
ICRA
2007
IEEE
16 years 29 days 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...