556 search results - page 57 / 112 » Checking Interval Properties of Computations |
148
click to vote
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
In this paper we define a function R(P) which is defined for any polygon P and which maps a given polygon P into a number from the interval (0, 1]. The number R(P) can be used as a...
148
click to vote
VISUALIZATION
2003
IEEE
15 years 9 months ago
2003
IEEE
We describe how to count the cases that arise in a family of visualization techniques, including Marching Cubes, Sweeping Simplices, Contour Meshing, Interval Volumes, and Separat...
150
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
146
click to vote
SGP
2004
15 years 6 months ago
2004
In this paper, we initiate a study of shape description and classification via the application of persistent homology to tangential constructions on geometric objects. Our techniq...
163
click to vote
ALGORITHMICA
2008
15 years 4 months ago
2008
The profile of a graph is an integer-valued parameter defined via vertex orderings; it is known that the profile of a graph equals the smallest number of edges of an interval supe...