1239 search results - page 53 / 248 » Control Generation for Logic Programs |
131
click to vote
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
146
Voted
EUSFLAT
2009
15 years 1 days ago
2009
This paper uses a constraint set approach to linear programming problems with equality constraints whose coefficients and/or right-hand side values could be uncertain. We consider ...
106
click to vote
FAABS
2000
Springer
15 years 5 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
102
Voted
HYBRID
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...
123
click to vote
GCSE
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...