Sciweavers

1146 search results - page 108 / 230
» Applications of the TAMPR Transformation System
Sort
View
FCCM
2009
IEEE
164views VLSI» more  FCCM 2009»
16 years 2 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
16 years 2 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
16 years 1 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
16 years 1 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»
16 years 1 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