291 search results - page 52 / 59 » Liveness-Preserving Atomicity Abstraction |
101
click to vote
CP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Selecting conformations for side-chains is an important subtask in building three-dimensional protein models. Side-chain placement is a difficult problem because of the l...
104
Voted
DBPL
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We are interested in the theoretical foundations of the optimization of conjunctive regular path queries (CRPQs). The basic problem here is deciding query containment bot...
87
Voted
ECAI
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
82
Voted
TON
1998
14 years 9 months ago
1998
Abstract— Group communication services have been successfully used to construct applications with high availability, dependability, and real-time responsiveness requirements. Flo...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
Service robots will have to accomplish more and more complex, open-ended tasks and regularly acquire new skills. In this work, we propose a new approach to generating plans for su...