8828 search results - page 402 / 1766 » Formal methods in practice |
192
click to vote
SIAMJO
2008
15 years 6 months ago
2008
Let A and B be nonempty, convex and closed subsets of a Hilbert space H. In the practical considerations we need to find an element of the intersection A B or, more general, to s...
161
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a highly accurate and efficient method for crack detection using percolation-based image processing. The detection of cracks in concrete surfaces during the ma...
191
click to vote
CIVR
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we review the evaluation of relevance feedback methods for content-based image retrieval systems. We start out by presenting an overview of current common practice, ...
127
click to vote
FTCGV
2006
15 years 6 months ago
2006
We present a survey of recent methods for creating piecewise linear mappings between triangulations in 3D and simpler domains such as planar regions, simplicial complexes, and sph...
196
click to vote
SIAMSC
2008
15 years 6 months ago
2008
In this paper we propose a novel computational technique to solve the Eikonal equation. The proposed method manages the list of active nodes and iteratively updates the solutions ...