Sciweavers

3025 search results - page 112 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
95
Voted
HRI
2007
ACM
15 years 6 months ago
Elements of a spoken language programming interface for robots
In many settings, such as home care or mobile environments, demands on users' attention, or users' anticipated level of formal training, or other on-site conditions will...
Tim Miller, Andrew Exley, William Schuler
122
Voted
LPAR
2010
Springer
15 years 16 days ago
Dafny: An Automatic Program Verifier for Functional Correctness
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
K. Rustan M. Leino
111
Voted
IWPC
1996
IEEE
15 years 6 months ago
Evaluating process clusters to support automatic program understanding
Evaluating the design of a distributed application is di cult but provides useful information for program development and maintenance. In distributed debugging, for example, proce...
Thomas Kunz
154
Voted
PAAMS
2010
Springer
15 years 16 days ago
An Automatic Programming ACO-Based Algorithm for Classification Rule Mining
In this paper we present a novel algorithm, named GBAP, that jointly uses automatic programming with ant colony optimization for mining classification rules. GBAP is based on a con...
Juan Luis Olmo, Jose María Luna, José...
115
Voted
DAGSTUHL
1996
15 years 4 months ago
An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs
This paper reports on an approachfor improvingthe understandingof old programs which have become very complex due to numerous extensions. We have adapted partial evaluation techni...
Sandrine Blazy, Philippe Facon