3742 search results - page 280 / 749 » On the Use of Formal Techniques for Validation |
182
click to vote
ICCV
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a novel calibration method for off-axis catadioptric cameras, i.e. standard perspective cameras placed in a generic position w.r.t. an axial-symmetric mirror of unknown...
160
click to vote
WSCG
2004
15 years 8 months ago
2004
Tomographic imaging is a technique for exploration of a cross-section of an inspected object without destruction. Normally, the input data, known as the projections, are gathered ...
608
click to vote
Publication
In this paper, we propose a new variational framework for computing continuous curve skeletons from discrete objects that are suitable for structural shape representation.
We have...
146
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
We address the automatic classification of scanned input media in order to improve color calibration. Since scanner responses vary significantly according to the type of input, a ...
149
click to vote
IPMI
2005
Springer
16 years 7 months ago
2005
Springer
This paper presents a general graph-theoretic technique for simultaneously segmenting multiple closed surfaces in volumetric images, which employs a novel graph-construction scheme...