3025 search results - page 126 / 605 » Automatic Programming of Robots Using Genetic Programming |
120
click to vote
SAS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
116
click to vote
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
123
click to vote
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
— Piecewise linear Lyapunov functions are used to design control gain matrices so that closed systems are robust stable and attractive regions are expanded as large as possible i...
138
click to vote
PPSN
1994
Springer
15 years 6 months ago
1994
Springer
Abstract. The mutation distribution of evolutionary algorithms usually is oriented at the type of the search space. Typical examples are binomial distributions for binary strings i...
122
click to vote
HRI
2010
ACM
15 years 9 months ago
2010
ACM
—Robots are poised to enter our everyday environments such as our homes and offices, contexts that present unique questions such as the style of the robot’s actions. Style-orie...