Sciweavers

1912 search results - page 81 / 383
» GOAL as a Planning Formalism
Sort
View
LPNMR
2004
Springer
15 years 11 months ago
Planning with Preferences Using Logic Programming
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
Tran Cao Son, Enrico Pontelli
ICRA
2003
IEEE
119views Robotics» more  ICRA 2003»
15 years 11 months ago
Optimal motion planning for free-flying robots
— This paper addresses the problem of motion planning for free-flying robots. Full state actuation is considered to allow for large displacements of the spacecraft. Motion plann...
Roberto Lampariello, Sunil Kumar Agrawal, Gerd Hir...
TCC
2007
Springer
125views Cryptology» more  TCC 2007»
16 years 11 days ago
From Weak to Strong Watermarking
The informal goal of a watermarking scheme is to “mark” a digital object, such as a picture or video, in such a way that it is difficult for an adversary to remove the mark wit...
Nicholas Hopper, David Molnar, David Wagner
JSW
2008
136views more  JSW 2008»
15 years 6 months ago
Collaborative Product Configuration: Formalization and Efficient Algorithms for Dependency Analysis
- In the Software Product Line approach, product configuration is a key activity in which stakeholders choose features for a product. This activity is critical in the sense that ca...
Marcílio Mendonça, Donald D. Cowan, ...
AIPS
2007
15 years 8 months ago
Act Local, Think Global: Width Notions for Tractable Planning
Many of the benchmark domains in AI planning are tractable on an individual basis. In this paper, we seek a theoretical, domain-independent explanation for their tractability. We ...
Hubie Chen, Omer Giménez