3025 search results - page 349 / 605 » Automatic Programming of Robots Using Genetic Programming |
136
click to vote
DALT
2006
Springer
15 years 7 months ago
2006
Springer
The AgentSpeak agent-oriented programming language has recently been extended with various new features, such as speech-act based communication, internal belief additions, and supp...
114
click to vote
APLAS
2005
ACM
15 years 5 months ago
2005
ACM
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...
112
click to vote
AAAI
2006
15 years 5 months ago
2006
Markov decision processes (MDPs) with discrete and continuous state and action components can be solved efficiently by hybrid approximate linear programming (HALP). The main idea ...
130
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
115
click to vote
TAP
2008
Springer
15 years 3 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...