Sciweavers

17 search results - page 3 / 4
» Automatic 2D Shape Orientation by Example
Sort
View
ICIP
2007
IEEE
14 years 8 months ago
Skeleton-Based Tornado Hook Echo Detection
We propose and evaluate a method to identify tornadoes automatically in Doppler radar imagery by detecting hook echoes, which are important signatures of tornadoes, in Doppler rad...
Hongkai Wang, Robert E. Mercer, John L. Barron, Pa...
FMCO
2005
Springer
153views Formal Methods» more  FMCO 2005»
14 years 18 days ago
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
SIGGRAPH
2010
ACM
13 years 11 months ago
Star-contours for efficient hierarchical self-collision detection
Collision detection is a problem that has often been addressed efficiently with the use of hierarchical culling data structures. In the subproblem of self-collision detection for ...
Sara C. Schvartzman, Álvaro G. Pérez, Miguel A. ...
JEI
2008
139views more  JEI 2008»
13 years 7 months ago
Tessella-oriented segmentation and guidelines estimation of ancient mosaic images
Automatic segmentation and analysis of ancient mosaic images can help archaeologists and experts build digital collections and automatically compare mosaics by means of image datab...
Lamia Benyoussef, Stéphane Derrode
VIS
2007
IEEE
192views Visualization» more  VIS 2007»
14 years 8 months ago
LiveSync: Deformed Viewing Spheres for Knowledge-Based Navigation
Although real-time interactive volume rendering is available even for very large data sets, this visualization method is used quite rarely in the clinical practice. We suspect this...
Peter Kohlmann, Stefan Bruckner, Armin Kanitsar,...