732 search results - page 98 / 147 » Testing Geometric Convexity |
VMV
2000
14 years 11 months ago
2000
Metrical calibration is very critical for the accuracy of a 3d sensor. Measuring uncertainty of about 1:3000 of the z-range requires a calibration accuracy of about 1:104 . Severa...
DM
2010
14 years 10 months ago
2010
Let H 2V be a hypergraph on vertex set V . For a positive integer r, we call H r-exact, if any minimal transversal of H intersects any hyperedge of H in at most r vertices. This ...
ENTCS
2006
14 years 10 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
KBS
2008
14 years 9 months ago
2008
Image registration is the process of geometrically aligning images taken from different sensors, viewpoints or instances in time. It plays a key role in the detection of defects o...
ENTCS
2007
14 years 9 months ago
2007
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...