Sciweavers

10891 search results - page 2024 / 2179
» Combining Model Reductions
Sort
View
VIS
2007
IEEE
157views Visualization» more  VIS 2007»
14 years 11 months ago
Surface Extraction from Multi-Material Components for Metrology using Dual Energy CT
Abstract-- This paper describes a novel method for creating surface models of multi-material components using dual energy computed tomography (DECT). The application scenario is me...
Christoph Heinzl, Johann Kastner, Eduard Grölle...
VIS
2007
IEEE
181views Visualization» more  VIS 2007»
14 years 11 months ago
Shadow-Driven 4D Haptic Visualization
Just as we can work with two-dimensional floor plans to communicate 3D architectural design, we can exploit reduced-dimension shadows to manipulate the higher-dimensional objects ...
Hui Zhang, Andrew J. Hanson
DAC
2005
ACM
14 years 11 months ago
StressTest: an automatic approach to test generation via activity monitors
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
Ilya Wagner, Valeria Bertacco, Todd M. Austin
IPMI
2005
Springer
14 years 11 months ago
Segmenting and Tracking the Left Ventricle by Learning the Dynamics in Cardiac Images
Having accurate left ventricle (LV) segmentations across a cardiac cycle provides useful quantitative (e.g. ejection fraction) and qualitative information for diagnosis of certain ...
Alan S. Willsky, Godtfred Holmvang, Müjdat &C...
SIGSOFT
2008
ACM
14 years 11 months ago
Marple: a demand-driven path-sensitive buffer overflow detector
Despite increasing efforts in detecting and managing software security vulnerabilities, the number of security attacks is still rising every year. As software becomes more complex...
Wei Le, Mary Lou Soffa
« Prev « First page 2024 / 2179 Last » Next »