Sciweavers

103 search results - page 14 / 21
» Consistency and Random Constraint Satisfaction Models
Sort
View
CPAIOR
2008
Springer
14 years 11 months ago
Propagating Separable Equalities in an MDD Store
We present a propagator that achieves MDD consistency for a separable equality over an MDD (multivalued decision diagram) store in pseudo-polynomial time. We integrate the propagat...
Tarik Hadzic, John N. Hooker, Peter Tiedemann
AAAI
1996
14 years 10 months ago
Qualitative Multiple-Fault Diagnosis of Continuous Dynamic Systems Using Behavioral Modes
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
Siddarth Subramanian, Raymond J. Mooney
MMM
2005
Springer
108views Multimedia» more  MMM 2005»
15 years 3 months ago
An Interactive Camera Planning System for Automatic Cinematographer
Currently most systems capable of performing intelligent camera control use cinematographic idioms or a constraint satisfaction mechanism to determine a sequence of camera configu...
Tsai-Yen Li, Xiang-Yan Xiao
ISQED
2003
IEEE
119views Hardware» more  ISQED 2003»
15 years 2 months ago
System and Framework for QA of Process Design Kits
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
M. C. Scott, M. O. Peralta, Jo Dale Carothers
PODS
1999
ACM
160views Database» more  PODS 1999»
15 years 1 months ago
Queries with Incomplete Answers over Semistructured Data
Semistructured data occur in situations where information lacks a homogeneous structure and is incomplete. Yet, up to now the incompleteness of information has not been re ected b...
Yaron Kanza, Werner Nutt, Yehoshua Sagiv