3742 search results - page 216 / 749 » On the Use of Formal Techniques for Validation |
160
click to vote
JCIT
2007
15 years 6 months ago
2007
Usually, in image processing, edge detectors are mostly used as a basis for high level processing. In many cases, the edge detection gives erroneous and imprecise results, as inco...
156
click to vote
ADAEUROPE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
174
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
This paper presents a generative model based approach to man-made structure detection in 2D natural images. The proposed approach uses a causal multiscale random field suggested i...
152
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
We pmpose a heuristic approach for detection ofeyes in close-up images. The experimental images are stereorypiral mug shot faces which can be expected in applications offace recog...
176
click to vote
ICIP
1995
IEEE
16 years 8 months ago
1995
IEEE
In this paper, we address the problem of color image restoration. Here, we model the image as a Markov Random Field (MRF) and propose a restoration algorithm in a multiresolution ...