4949 search results - page 156 / 990 » Consistency and Set Intersection |
128
click to vote
COMPGEOM
2006
ACM
15 years 10 months ago
2006
ACM
Abstract This paper describes an algorithm for generating a guaranteed intersectionfree interpolation sequence between any pair of compatible polygons. Our algorithm builds on prio...
142
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
We reconstruct pipe-shaped objects from a set of contours, each of which is extracted from an image representing a slice sampled from 3D volume data. The contours are formed by con...
151
click to vote
COMPGEOM
2003
ACM
15 years 10 months ago
2003
ACM
We consider two variants of the well-known “sailor in the fog” puzzle. The first version (the “asteroid surveying” problem) is set in three dimensions and asks for the sh...
113
click to vote
ESOP
2003
Springer
15 years 10 months ago
2003
Springer
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...
150
click to vote
CSL
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. A new tree automata framework, called equational tree automata, is presented. In the newly introduced setting, congruence closures of recognizable tree languages are reco...