Sciweavers

130 search results - page 16 / 26
» Efficiently Verifiable Escape Analysis
Sort
View
ACCV
2006
Springer
13 years 11 months ago
Motion Detection in Driving Environment Using U-V-Disparity
Abstract. Motion detection in driving environment, which aims to detect REAL moving objects from continuously changing background, is vital for Adaptive Cruise Control (ACC) applic...
Jia Wang, Zhencheng Hu, Hanqing Lu, Keiichi Uchimu...
SIGSOFT
2010
ACM
13 years 5 months ago
Scalable SMT-based verification of GPU kernel functions
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
Guodong Li, Ganesh Gopalakrishnan
BMCBI
2007
159views more  BMCBI 2007»
13 years 7 months ago
sIR: siRNA Information Resource, a web-based tool for siRNA sequence design and analysis and an open access siRNA database
Background: RNA interference has revolutionized our ability to study the effects of altering the expression of single genes in mammalian (and other) cells through targeted knockdo...
Jyoti K. Shah, Harold R. Garner, Michael A. White,...
ICB
2009
Springer
226views Biometrics» more  ICB 2009»
14 years 1 months ago
Accurate Palmprint Recognition Using Spatial Bags of Local Layered Descriptors
Abstract. State-of-the-art palmprint recognition algorithms achieve high accuracy based on component based texture analysis. However, they are still sensitive to local variations o...
Yufei Han, Tieniu Tan, Zhenan Sun
ROBIO
2006
IEEE
120views Robotics» more  ROBIO 2006»
14 years 1 months ago
Event Based Methodology for SuperMedia Enhanced Teleoperation
- SuperMedia provides human operators rich environmental information, thus providing telepresence and enhances efficiency of operation. However, coupling human with the remote envi...
Yang Liu, Amit Goradia, Yonghui Xue, Ning Xi