835 search results - page 57 / 167 » Geometric Logic in Computer Science |
CAGD
2010
13 years 6 months ago
2010
We present an exact algorithm for computing the precise Hausdorff distance between two general polyhedra represented as triangular meshes. The locus of candidate points, events wh...
FSTTCS
2009
Springer
14 years 3 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
AIR
2010
13 years 8 months ago
2010
Combinatorial problems appear in many areas in science, engineering, biomedicine, business, and operations research. This article presents a new intelligent computing approach for...
CAD
2006
Springer
13 years 8 months ago
2006
Springer
We investigate 3D shape reconstruction from measurement data in the presence of constraints. The constraints may fix the surface type or set geometric relations between parts of a...
SIGGRAPH
1993
ACM
14 years 24 days ago
1993
ACM
Form factors are used in radiosity to describe the fraction of diffusely reflected light leaving one surface and arriving at another. They are a fundamental geometric property us...