1632 search results - page 30 / 327 » Topological Analysis of Refinement |
122
click to vote
SIGGRAPH
1996
ACM
15 years 4 months ago
1996
ACM
Creating freeform surfaces is a challenging task even with advanced geometric modeling systems. Laser range scanners offer a promising alternative for model acquisition--the 3D sc...
120
Voted
MEMOCODE
2010
IEEE
14 years 10 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
86
Voted
ICSE
2004
IEEE-ACM
16 years 16 days ago
2004
IEEE-ACM
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...
SIAMSC
2008
15 years 11 days ago
2008
Abstract. In this article, we propose new parallel algorithms for the construction and 2:1 balance refinement of large linear octrees on distributed memory machines. Such octrees a...
106
Voted
TIP
2008
15 years 10 days ago
2008
Low-level image analysis systems typically detect "points of interest", i.e., areas of natural images that contain corners or edges. Most of the robust and computationall...