3025 search results - page 500 / 605 » Automatic Programming of Robots Using Genetic Programming |
122
click to vote
ICCV
2007
IEEE
16 years 4 months ago
2007
IEEE
In this paper, we take the human age and pose estimation problems as examples to study automatic designing regressor from training samples with uncertain nonnegative labels. First...
191
click to vote
POPL
2010
ACM
15 years 12 months ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...
138
Voted
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
145
Voted
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
134
Voted
ORL
2006
15 years 2 months ago
2006
The strategic safety stock placement problem is a constrained separable concave minimization problem and so is solvable, in principle, as a sequence of mixed-integer programming p...