6020 search results - page 27 / 1204 » A New Approach to Model Counting |
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We give a new insight into the upper bounding of the 3-SAT threshold by the first moment method. The best criteria developed so far to select the solutions to be counted discrimina...
119
click to vote
MVA
1994
15 years 3 months ago
1994
This paper describes a method for fitting 3D object model to still (single) 2D observed image by searching for the model's optimum posture parameters in the parameter space t...
118
click to vote
EMNLP
2004
15 years 3 months ago
2004
Traditional word alignment approaches cannot come up with satisfactory results for Named Entities. In this paper, we propose a novel approach using a maximum entropy model for nam...
114
click to vote
DAC
2005
ACM
15 years 3 months ago
2005
ACM
This paper proposes a rapid and accurate evaluation scheme for cycle counts of a pipelined processor using evaluation reuse technique. Since exploration of an optimal processor is...