1124 search results - page 97 / 225 » Mobile robot programming using natural language |
167
click to vote
FM
2009
Springer
16 years 28 days ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
159
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
With the growing academic and industrial interest in Software Product Lines (SPL), one area demanding special attention is tool support development, which is a pre-requisite for w...
165
click to vote
ICRA
2007
IEEE
16 years 20 days ago
2007
IEEE
— The exploration problem is a central issue in mobile robotics. A complete coverage is not practical if the environment is large with a few small hotspots, and the sampling cost...
165
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
192
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...