Sciweavers

2748 search results - page 412 / 550
» A Computational Geometric Approach to Shape Analysis in Imag...
Sort
View
3DPVT
2006
IEEE
242views Visualization» more  3DPVT 2006»
16 years 1 months ago
Towards On-Line Digital Doubles
We present a modular system for real-time 3D-scanning of human bodies under motion. The high-resolution shape and colour appearance is captured by several scanning units positione...
Andreas Griesser, Nico Cornelis, Luc J. Van Gool
CAV
2005
Springer
122views Hardware» more  CAV 2005»
16 years 19 days ago
Interpolant-Based Transition Relation Approximation
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
Ranjit Jhala, Kenneth L. McMillan
174
Voted
ICMCS
2006
IEEE
93views Multimedia» more  ICMCS 2006»
16 years 1 months ago
Two-Layer Image Resizing for Scalable CODEC
Resizing compressed images is often needed for different display, storage and transmission. Based on the analysis of energy reserving capacity for different basis vectors, we prop...
Ci Wang, Ping Xue, Weisi Lin
DAC
2008
ACM
16 years 8 months ago
Transistor level gate modeling for accurate and fast timing, noise, and power analysis
Current source based cell models are becoming a necessity for accurate timing and noise analysis at 65nm and below. Voltage waveform shapes are increasingly more difficult to repr...
S. Raja, F. Varadi, Murat R. Becer, Joao Geada
239
Voted
FIMH
2009
Springer
15 years 4 months ago
Discriminative Joint Context for Automatic Landmark Set Detection from a Single Cardiac MR Long Axis Slice
Cardiac magnetic resonance (MR) imaging has advanced to become a powerful diagnostic tool in clinical practice. Automatic detection of anatomic landmarks from MR images is importan...
Xiaoguang Lu, Bogdan Georgescu, Arne Littmann, Edg...