3025 search results - page 260 / 605 » Automatic Programming of Robots Using Genetic Programming |
156
click to vote
CAV
2006
Springer
15 years 7 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
142
click to vote
EICS
2010
ACM
15 years 9 months ago
2010
ACM
Web applications such as web-based email, spreadsheets and form filling applications have become ubiquitous. However, many of the tasks that users try to accomplish with such web ...
162
click to vote
PDPTA
1996
15 years 5 months ago
1996
This paper presents pTask-- a system that allows users to automatically exploit dynamic task-level parallelism in sequential array-based C programs. The system employs compiler an...
126
click to vote
SAT
2007
Springer
15 years 10 months ago
2007
Springer
Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses sensor deplo...
118
Voted
UM
2009
Springer
15 years 10 months ago
2009
Springer
Ideally designed software allow users to explore and pursue interleaving plans, making it challenging to automatically recognize user interactions. The recognition algorithms prese...