Sciweavers

115 search results - page 23 / 23
» Points-to Analysis as a System of Linear Equations
Sort
View
ISBI
2004
IEEE
14 years 6 months ago
Bone Model Morphing for Enhanced Surgical Visualization
We propose a novel method for reconstructing a complete 3D model of a given anatomy from minimal information. This reconstruction provides an appropriate intra-operative 3D visual...
Kumar T. Rajamani, Martin Styner, Sarang C. Joshi
EOR
2007
272views more  EOR 2007»
13 years 5 months ago
A dynamic logistics coordination model for evacuation and support in disaster response activities
This paper describes an integrated location-distribution model for coordinating logistics support and evacuation operations in disaster response activities. Logistics planning in ...
Wei Yi, Linet Özdamar
RC
1998
82views more  RC 1998»
13 years 5 months ago
A Note on Epsilon-Inflation
Abstract. The epsilon-inflation proved to be useful and necessary in many verification algorithms. Different definitions of an epsilon-inflation are possible, depending on the...
Siegfried M. Rump
MJ
2011
288views Multimedia» more  MJ 2011»
13 years 15 days ago
Emulation-based transient thermal modeling of 2D/3D systems-on-chip with active cooling
New tendencies envisage 2D/3D Multi-Processor System-On-Chip (MPSoC) as a promising solution for the consumer electronics market. MPSoCs are complex to design, as they must execute...
Pablo Garcia Del Valle, David Atienza
WWW
2008
ACM
14 years 6 months ago
Graph theoretical framework for simultaneously integrating visual and textual features for efficient web image clustering
With the explosive growth of Web and the recent development in digital media technology, the number of images on the Web has grown tremendously. Consequently, Web image clustering...
Manjeet Rege, Ming Dong, Jing Hua