Sciweavers

1146 search results - page 108 / 230
» Applications of the TAMPR Transformation System
Sort
View
FCCM
2009
IEEE
164views VLSI» more  FCCM 2009»
15 years 11 months ago
A Parameterized Stereo Vision Core for FPGAs
—We present a parameterized stereo vision core suitable for a wide range of FPGA targets and stereo vision applications. By enabling easy tuning of algorithm parameters, our syst...
Stephen Longfield Jr., Mark L. Chang
ICIAR
2009
Springer
15 years 11 months ago
Detection of Linear Structures in Remote-Sensed Images
Over the past decades, considerable progress had been made in developing automatic image interpretation tools for remote sensing. There is, however, still a gap between the require...
Rui Gao, Walter F. Bischof
ICFEM
2007
Springer
15 years 10 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
IISWC
2006
IEEE
15 years 10 months ago
Load Instruction Characterization and Acceleration of the BioPerf Programs
The load instructions of some of the bioinformatics applications in the BioPerf suite possess interesting characteristics: only a few static loads cover almost the entire dynamic ...
Paruj Ratanaworabhan, Martin Burtscher
GW
2005
Springer
242views Biometrics» more  GW 2005»
15 years 10 months ago
Finger Tracking Methods Using EyesWeb
This paper compares different algorithms for tracking the position of fingers in a two-dimensional environment. Four algorithms have been implemented in EyesWeb, developed by DIS...
Anne-Marie Burns, Barbara Mazzarino