Sciweavers

3381 search results - page 509 / 677
» adaptive 2007
Sort
View
138
Voted
VIS
2007
IEEE
199views Visualization» more  VIS 2007»
16 years 2 months ago
Topology, Accuracy, and Quality of Isosurface Meshes Using Dynamic Particles
Abstract-This paper describes a method for constructing isosurface triangulations of sampled, volumetric, three-dimensional scalar fields. The resulting meshes consist of triangles...
Miriah Meyer, Robert M. Kirby, Ross Whitaker
102
Voted
DAC
2009
ACM
16 years 1 months ago
Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
Himanshu Jain, Edmund M. Clarke
106
Voted
MICCAI
2007
Springer
16 years 1 months ago
Quality-Based Registration and Reconstruction of Optical Tomography Volumes
Abstract. Ultramicroscopy, a novel optical tomographic imaging modality related to fluorescence microscopy, allows to acquire cross-sectional slices of small specially prepared bio...
Wolfgang Wein, Moritz Blume, Ulrich Leischner, Han...
114
Voted
MICCAI
2007
Springer
16 years 1 months ago
Non-Local Means Variants for Denoising of Diffusion-Weighted and Diffusion Tensor MRI
Abstract. Diffusion tensor imaging (DT-MRI) is very sensitive to corrupting noise due to the non linear relationship between the diffusionweighted image intensities (DW-MRI) and th...
Christian Barillot, Nicolas Wiest-Daesslé, ...
112
Voted
MICCAI
2007
Springer
16 years 1 months ago
Effectiveness of the Finite Impulse Response Model in Content-Based fMRI Image Retrieval
The thresholded t-map produced by the General Linear Model (GLM) gives an effective summary of activation patterns in functional brain images and is widely used for feature selecti...
Bing Bai, Paul B. Kantor, Ali Shokoufandeh