Sciweavers

403 search results - page 15 / 81
» Variable ranges in linear constraints
Sort
View
JSAT
2006
108views more  JSAT 2006»
13 years 7 months ago
Translating Pseudo-Boolean Constraints into SAT
In this paper, we describe and evaluate three different techniques for translating pseudoboolean constraints (linear constraints over boolean variables) into clauses that can be h...
Niklas Eén, Niklas Sörensson
CONSTRAINTS
2006
70views more  CONSTRAINTS 2006»
13 years 7 months ago
Stochastic Constraint Programming: A Scenario-Based Approach
To model combinatorial decision problems involving uncertainty and probability, we introduce scenario based stochastic constraint programming. Stochastic constraint programs conta...
Armagan Tarim, Suresh Manandhar, Toby Walsh
MICS
2010
137views more  MICS 2010»
13 years 5 months ago
Finding Range Minima in the Middle: Approximations and Applications
Abstract. A Range Minimum Query asks for the position of a minimal element between two specified array-indices. We consider a natural extension of this, where our further constrai...
Johannes Fischer, Volker Heun
TCSV
2008
157views more  TCSV 2008»
13 years 7 months ago
Semi-Fuzzy Rate Controller for Variable Bit Rate Video
A novel semi-fuzzy (SF) rate control algorithm (RCA) for variable bit rate (VBR) video applications is proposed. The proposed RCA is optimized to provide high quality compressed vi...
Mehdi Rezaei, Miska M. Hannuksela, Moncef Gabbouj
APGV
2005
ACM
250views Visualization» more  APGV 2005»
14 years 28 days ago
A perceptual framework for contrast processing of high dynamic range images
Image processing often involves an image transformation into a domain that is better correlated with visual perception, such as the wavelet domain, image pyramids, multi-scale con...
Rafal Mantiuk, Karol Myszkowski, Hans-Peter Seidel