Sciweavers

4266 search results - page 637 / 854
» The container loading problem
Sort
View
ISM
2008
IEEE
140views Multimedia» more  ISM 2008»
14 years 2 months ago
Medical Video Event Classification Using Shared Features
Advances in video technology are being incorporated into today’s medical research and education. Medical videos contain important medical events, such as diagnostic or therapeut...
Yu Cao, Shih-Hsi Liu, Ming Li, Sung Baang, Sanqing...
MICRO
2008
IEEE
109views Hardware» more  MICRO 2008»
14 years 2 months ago
Dependence-aware transactional memory for increased concurrency
—Transactional memory (TM) is a promising paradigm for helping programmers take advantage of emerging multicore platforms. Though they perform well under low contention, hardware...
Hany E. Ramadan, Christopher J. Rossbach, Emmett W...
RSP
2008
IEEE
120views Control Systems» more  RSP 2008»
14 years 2 months ago
Co-design Architecture and Implementation for Point-Based Rendering on FPGAs
Current graphic cards include advanced graphic processing units to accelerate the rendering of 3D objects with millions of polygons. As object models grow in complexity, the rende...
Mateusz Majer, Stefan Wildermann, Josef Angermeier...
SIBGRAPI
2008
IEEE
14 years 2 months ago
Matching Photometric Observation Vectors with Shadows and Variable Albedo
We describe a procedure to solve the basic problem of Variable Lighting Photometric Stereo – namely, recovering the normal directions and intrinsic albedos at all visible points...
Helena Cristina da Gama Leitão, Rafael Feli...
TASE
2008
IEEE
14 years 2 months ago
Verifying BPEL-Like Programs with Hoare Logic
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
Chenguang Luo, Shengchao Qin, Zongyan Qiu