4850 search results - page 154 / 970 » Proof and Computation in Geometry |
165
click to vote
COMPGEOM
2007
ACM
15 years 10 months ago
2007
ACM
The Bentley-Ottmann (BO) algorithm, initially designed to report the intersection points of line-segments in the plane, is the prototypical sweep-line algorithm. This video presen...
167
click to vote
DGCI
2009
Springer
15 years 9 months ago
2009
Springer
The Minimum Length Polygon (MLP) is an interesting first order approximation of a digital contour. For instance, the convexity of the MLP is characteristic of the digital convexit...
127
click to vote
IMR
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes the creation of a new type of size function – the mesh size function that honors the existing mesh on premeshed geometry entities and radiates the mesh size...
145
click to vote
BIRTHDAY
2004
Springer
15 years 12 months ago
2004
Springer
We present a new proof that languages generated by (non extended) H systems with finite sets of axioms and rules are regular.
PODC
1987
ACM
15 years 10 months ago
1987
ACM
Abstract: We introduce the input-output automaton, a simple but powerful model of computation in asynchronous distributed networks. With this model we are able to construct modular...