3025 search results - page 142 / 605 » Automatic Programming of Robots Using Genetic Programming |
116
click to vote
CPP
2011
14 years 2 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
124
click to vote
WEBNET
2000
15 years 4 months ago
2000
: It is always a challenge to present Web applications at a facility with no Internet connection. Traditional presentation methods such as transparencies or slides are inadequate f...
127
click to vote
ICMCS
1999
IEEE
15 years 7 months ago
1999
IEEE
In this paper, we propose a method to extract and verify individual speaker utterance using a subspace method. This method can extract speech section of the same speaker by repeat...
116
click to vote
COR
2008
15 years 3 months ago
2008
This paper presents a tabu search metaheuristic algorithm for the automatic generation of structural software tests. It is a novel work since tabu search is applied to the automat...
124
click to vote
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Imitation learning, or programming by demonstration (PbD), holds the promise of allowing robots to acquire skills from humans with domain-specific knowledge, who nonet...