Sciweavers

2702 search results - page 136 / 541
» constraints 2008
Sort
View
CVPR
2008
IEEE
16 years 8 months ago
Intrinsic image decomposition with non-local texture cues
We present a method for decomposing an image into its intrinsic reflectance and shading components. Different from previous work, our method examines texture information to obtain...
Li Shen, Ping Tan, Stephen Lin
FLAIRS
2008
15 years 8 months ago
Reasoning with Conditional Time-Intervals
Reasoning with conditional time-intervals representing activities or tasks that may or may not be executed in the final schedule is crucial in many scheduling applications. In Con...
Philippe Laborie, Jerome Rogerie
CORR
2008
Springer
76views Education» more  CORR 2008»
15 years 6 months ago
An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities
This paper introduces a new algorithm for solving a subclass of quantified constraint satisfaction problems (QCSP) where existential quantifiers precede universally quantified ine...
Alexandre Goldsztejn, Claude Michel, Michel Rueher
CORR
2008
Springer
89views Education» more  CORR 2008»
15 years 6 months ago
Disjunctive Databases for Representing Repairs
This paper addresses the problem of representing the set of repairs of a possibly inconsistent database by means of a disjunctive database. Specifically, the class of denial constr...
Cristian Molinaro, Jan Chomicki, Jerzy Marcinkowsk...
TODAES
2008
47views more  TODAES 2008»
15 years 6 months ago
A tool for automatic detection of deadlock in wormhole networks on chip
We present an extension of Duato's necessary and sufficient condition a routing function must satisfy in order to be deadlock-free, to support environment constraints inducing...
Sami Taktak, Jean Lou Desbarbieux, Emmanuelle Encr...