3025 search results - page 169 / 605 » Automatic Programming of Robots Using Genetic Programming |
128
click to vote
JLP
2007
15 years 3 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
EDCC
2005
Springer
15 years 8 months ago
2005
Springer
We present a hybrid synthesis method for automatic addition of fault-tolerance to distributed programs. In particular, we automatically specify and add pre-synthesized fault-tolera...
151
click to vote
JIPS
2008
15 years 3 months ago
2008
: Human-Robot Interaction (HRI), based on already well-researched Human-Computer Interaction (HCI), has been under vigorous scrutiny since recent developments in robot technology. ...
112
click to vote
CN
1998
15 years 2 months ago
1998
In this paper we introduce a programming language for Web document processing called WebL. WebL is a high level, object-oriented scripting language that incorporates two novel fea...
144
click to vote
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
Object oriented programming promotes reuse of classes in multiple contexts. Thus, a class is designed and implemented with several usage scenarios in mind, some of which possibly ...