Sciweavers

876 search results - page 135 / 176
» New Results for the Martin Polynomial
Sort
View
FOIKS
2008
Springer
15 years 1 months ago
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
Martin Gebser, Torsten Schaub, Hans Tompits, Stefa...
CIMAGING
2010
202views Hardware» more  CIMAGING 2010»
15 years 1 months ago
An optimal algorithm for reconstructing images from binary measurements
We have studied a camera with a very large number of binary pixels referred to as the gigavision camera [1] or the gigapixel digital film camera [2, 3]. Potential advantages of th...
Feng Yang, Yue M. Lu, Luciano Sbaiz, Martin Vetter...
ICASSP
2010
IEEE
15 years 13 hour ago
Ultrasound tomography with learned dictionaries
We propose a new method for imaging sound speed in breast tissue from measurements obtained by ultrasound tomography (UST) scanners. Given the measurements, our algorithm finds a...
Ivana Tosic, Ivana Jovanovic, Pascal Frossard, Mar...
CVIU
2008
203views more  CVIU 2008»
14 years 12 months ago
A computer vision model for visual-object-based attention and eye movements
This paper presents a new computational framework for modelling visual-object based attention and attention-driven eye movements within an integrated system in a biologically insp...
Yaoru Sun, Robert B. Fisher, Fang Wang, Herman Mar...
CONSTRAINTS
2006
115views more  CONSTRAINTS 2006»
14 years 12 months ago
A Cost-Regular Based Hybrid Column Generation Approach
Abstract. Constraint Programming (CP) offers a rich modeling language of constraints embedding efficient algorithms to handle complex and heterogeneous combinatorial problems. To s...
Sophie Demassey, Gilles Pesant, Louis-Martin Rouss...