Sciweavers

2911 search results - page 428 / 583
» A Logic of Graph Constraints
Sort
View
88
Voted
JAIR
2008
111views more  JAIR 2008»
15 years 23 days ago
New Islands of Tractability of Cost-Optimal Planning
We study the complexity of cost-optimal classical planning over propositional state variables and unary-effect actions. We discover novel problem fragments for which such optimiza...
Michael Katz, Carmel Domshlak
82
Voted
JCP
2007
126views more  JCP 2007»
15 years 20 days ago
ADE: Utility Driven Self-management in a Networked Environment
ADE, autonomic distributed environment, is a system which engages autonomic elements to automatically take an existing centralized application and distribute it across available re...
Debzani Deb, M. Muztaba Fuad, Michael J. Oudshoorn
CGA
1998
15 years 14 days ago
Verbs and Adverbs: Multidimensional Motion Interpolation
This paper describes methods and data structures used to leverage motion sequences of complex linked figures. We present a technique for interpolating between example motions der...
Charles Rose, Michael F. Cohen, Bobby Bodenheimer
134
Voted
CVPR
2009
IEEE
1148views Computer Vision» more  CVPR 2009»
16 years 7 months ago
Shape Constrained Figure-Ground Segmentation and Tracking
Global shape information is an effective top-down complement to bottom-up figure-ground segmentation as well as a useful constraint to avoid drift during adaptive tracking. We p...
Zhaozheng Yin, Robert T. Collins
ICST
2010
IEEE
14 years 11 months ago
Repairing GUI Test Suites Using a Genetic Algorithm
—Recent advances in automated functional testing of Graphical User Interfaces (GUIs) rely on deriving graph models that approximate all possible sequences of events that may be e...
Si Huang, Myra B. Cohen, Atif M. Memon