1071 search results - page 44 / 215 » Solving Geometric Constraint Systems |
DEDS
2010
14 years 7 months ago
2010
We consider Discrete Event Systems (DES) involving tasks with real-time constraints and seek to control processing times so as to minimize a cost function subject to each task mee...
CP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
DSN
2007
IEEE
15 years 4 months ago
2007
IEEE
Replicated systems that run over partitionable environments, can exhibit increased availability if isolated partitions are allowed to optimistically continue their execution indep...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
We consider the problem of minimizing the cost of the power required to achieve a specified level of quality-of-service (QoS) on a point-to-point link that may be assisted by an ...
104
click to vote
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
This paper presents a unified model for image editing in terms of Sparse Matrix-Vector (SpMV) multiplication. In our framework, we cast image editing as a linear energy minimizat...