3495 search results - page 119 / 699 » On the random satisfiable process |
114
click to vote
CORR
2008
Springer
15 years 4 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...
131
Voted
INFORMATICALT
2000
15 years 3 months 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...
133
click to vote
ASIACRYPT
2010
Springer
15 years 2 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 ...
117
click to vote
DPHOTO
2009
15 years 1 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...
115
click to vote
ICIP
2005
IEEE
16 years 5 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...