8828 search results - page 1298 / 1766 » Formal methods in practice |
179
click to vote
TIP
2008
15 years 7 months ago
2008
Structured light vision systems have been successfully used for accurate measurement of 3-D surfaces in computer vision. However, their applications are mainly limited to scanning ...
175
click to vote
TIP
2008
15 years 7 months ago
2008
We present a fast variational deconvolution algorithm that minimizes a quadratic data term subject to a regularization on the 1 -norm of the wavelet coefficients of the solution. ...
185
click to vote
TSP
2008
15 years 7 months ago
2008
Abstract--Digital processing techniques are based on representing a continuous-time signal by a discrete set of samples. This paper treats the problem of reconstructing a periodic ...
219
click to vote
JVCIR
2007
15 years 7 months ago
2007
A new method for text detection and recognition in natural scene images is presented in this paper. In the detection process, color, texture, and OCR statistic features are combin...
185
click to vote
AUTOMATICA
2002
15 years 7 months ago
2002
As a case study of a particular control methodology and as a practical contribution in the area of underwater vehicle control, we consider the problem of stabilizing an underwater...