Sciweavers

4781 search results - page 39 / 957
» Complexity at large
Sort
View
130
Voted
SMA
2008
ACM
155views Solid Modeling» more  SMA 2008»
15 years 2 months ago
Filament tracking and encoding for complex biological networks
We present a framework for segmenting and storing filament networks from scalar volume data. Filament structures are commonly found in data generated using high-throughput microsc...
David Mayerich, John Keyser
SOFTVIS
2010
ACM
15 years 2 months ago
User evaluation of polymetric views using a large visualization wall
There are few visualization techniques for displaying complex software systems with large numbers of packages and classes. One visualization technique is the System Hotspots View,...
Craig Anslow, Stuart Marshall, James Noble, Ewan D...
111
Voted
SIGMOD
2004
ACM
112views Database» more  SIGMOD 2004»
16 years 2 months ago
Matching Large XML Schemas
Current schema matching approaches still have to improve for very large and complex schemas. Such schemas are increasingly written in the standard language W3C XML schema, especia...
Erhard Rahm, Hong Hai Do, Sabine Massmann
129
Voted
WSC
2007
15 years 4 months ago
SIMVIS: interactive visual analysis of large and time-dependent 3D simulation data
SimVis is a novel technology for the interactive visual analysis of large and complex flow data which results from Computational Fluid Dynamics (CFD) simulation. The new technolo...
Helmut Doleisch
148
Voted
STOC
2010
ACM
200views Algorithms» more  STOC 2010»
15 years 12 months ago
Hardness Amplification in Proof Complexity
We present a generic method for converting any family of unsatisfiable CNF formulas that require large resolution rank into CNF formulas whose refutation requires large rank for p...
Paul Beame, Trinh Huynh and Toniann Pitassi