3740 search results - page 214 / 748 » A Fast Skeletonization Method |
SI3D
2010
ACM
14 years 5 months ago
2010
ACM
Lloyd relaxation is widely employed to generate point distribution for a variety of applications in computer graphics, computer vision, and image processing. However, Lloyd relaxa...
CAV
2007
Springer
14 years 5 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
CSB
2005
IEEE
14 years 4 months ago
2005
IEEE
Searching genomes for RNA secondary structure with computational methods has become an important approach to the annotation of non-coding RNAs. However, due to the lack of effici...
VRST
1999
ACM
14 years 3 months ago
1999
ACM
Augmented Reality overlays computer generated images over the real world. To correctly depict spatial relations between real and virtual objects, these images have to be generated...
ICCAD
1999
IEEE
14 years 3 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...