3025 search results - page 464 / 605 » Automatic Programming of Robots Using Genetic Programming |
140
Voted
AMDO
2008
Springer
15 years 4 months ago
2008
Springer
Recently many methods for human articulated body tracking were proposed in the literature. These techniques are often computationally intensive and cannot be used for Human-Compute...
96
Voted
ENTCS
2006
15 years 2 months ago
2006
In this paper we propose a technique to automate the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures...
197
click to vote
BALT
2010
14 years 9 months ago
2010
For the purposes of tool development, computer languages are usually described using context-free grammars with annotations such as semantic actions or pretty-printing instructions...
143
Voted
NFM
2011
14 years 9 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
96
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Generalization tasks are important for continual improvement to the design of an evolving code base, eliminating redundancy where it has accumulated. An important step in generali...