3495 search results - page 119 / 699 » On the random satisfiable process |
CORR
2008
Springer
15 years 1 months ago
2008
Springer
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutines satisfiability modulo this theory and polyhedral pro...
105
Voted
INFORMATICALT
2000
15 years 27 days ago
2000
Abstract. Influence of projection pursuit on classification errors and estimates of a posteriori probabilities from the sample is considered. Observed random variable is supposed t...
104
click to vote
ASIACRYPT
2010
Springer
14 years 11 months ago
2010
Springer
We construct non-interactive zero-knowledge arguments for circuit satisfiability with perfect completeness, perfect zero-knowledge and computational soundness. The non-interactive ...
92
Voted
DPHOTO
2009
14 years 11 months ago
2009
A method for evaluating texture quality as shot by a camera is presented. It is shown that usual sharpness measurements are not completely satisfying for this task. A new target b...
95
Voted
ICIP
2005
IEEE
16 years 2 months ago
2005
IEEE
This article focuses on the field-to-image registration for TV sports-related image processing through basic geometrical reasoning. We propose a robust automatic line-based method...