Sciweavers

3208 search results - page 193 / 642
» Methods and views
Sort
View
ICIP
2003
IEEE
15 years 9 months ago
Level-set based geometric colour snake with region support
A novel method is introduced to force a geometric-based snake be more tolerant towards weak edges and noise in images. The method integrates gradient flow forces with region cons...
Xianghua Xie, Majid Mirmehdi
IV
2000
IEEE
221views Visualization» more  IV 2000»
15 years 8 months ago
Animated Texture Alpha-Masks for Flow Visualization
A method of using a moving texture alpha-mask to represent scientific data is described, for the purpose of visualizing continuous fluid dynamics fields. The method combines strea...
Ian Curington
FMCAD
2008
Springer
15 years 5 months ago
A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
Orna Kupferman, Wenchao Li, Sanjit A. Seshia
SIMVIS
2008
15 years 5 months ago
Near-Wall Flow Visualization in Flattened Surface Neighborhoods
We present a method that flattens a curved surface and its neighborhood to create effective, uncluttered visualizations by applying standard flow visualization techniques in the d...
Christoph Petz, Steffen Prohaska, Leonid Goubergri...
CCR
2004
119views more  CCR 2004»
15 years 3 months ago
Collecting the internet AS-level topology
At the inter-domain level, the Internet topology can be represented by a graph with Autonomous Systems (ASes) as nodes and AS peerings as links. This AS-level topology graph has b...
Beichuan Zhang, Raymond A. Liu, Daniel Massey, Lix...