10871 search results - page 227 / 2175 » A stable programming language |
159
click to vote
WLP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...
122
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
In this work we describe a system for determining strong equivalence of disjunctive non-ground datalog programs under the stable model semantics. The problem is tackled by reducing...
127
click to vote
ICRA
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper presents a class of fundamental control policies suitable for use in a novel method for designing and specifying the dynamic motion of robotic systems. Through recourse...
143
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
In this paper the segmentation of a meeting into meeting events is investigated as well as the recognition of the detected segments. First the classification of a meeting event is...
146
Voted
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— We explore the use of computational optimal control techniques for automated construction of policies in complex dynamic environments. Our implementation of dynamic programming...