6608 search results - page 258 / 1322 » On the Completeness of Model Checking |
153
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Most existing video denoising algorithms assume a single statistical model of image noise, e.g. additive Gaussian white noise, which often is violated in practice. In this paper, ...
151
click to vote
FOCS
2009
IEEE
16 years 21 days ago
2009
IEEE
Abstract— Under CPA and CCA1 attacks, a secure bit encryption scheme can be applied bit-by-bit to construct a secure many-bit encryption scheme. The same construction fails, howe...
201
click to vote
CBSQ
2003
Springer
15 years 11 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
157
click to vote
STACS
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. We advocate to analyze the average complexity of learning problems. An appropriate framework for this purpose is introduced. Based on it we consider the problem of learni...
171
click to vote
ICCV
1995
IEEE
15 years 9 months ago
1995
IEEE
A new technique is presented for computing 3D scene structure from point and line features in monocular image sequences. Unlike previous methods, the technique guarantees the comp...