6431 search results - page 174 / 1287 » Model Building by Resolution |
293
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
In this work, we improve on existing work that studied the relationship between the proof system of modern SAT solvers and general resolution. Previous contributions such as those ...
172
click to vote
RECOMB
2005
Springer
16 years 6 months ago
2005
Springer
We present data-analytic and statistical tools for studying rates of rearrangement of whole genomes and to assess the stability of these methods with changes in the level of resol...
155
click to vote
ICASSP
2008
IEEE
16 years 26 days ago
2008
IEEE
We propose a new method to solve a problem of image restoration with many different aspects: reconstruction from irregular samples, deconvolution and denoising. The model we propo...
218
click to vote
Publication
Concern over climate change, traffic congestion, and the health consequences of
sedentary lifestyles has resulted in a surge of interest in cycling as an efficient form of
urban ...
201
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
We present a novel framework for comprehensive exploration of OLAP data by means of user-defined dynamic hierarchical visualizations. The multidimensional data model behind the OLA...