Sciweavers

4959 search results - page 390 / 992
» Evolution maps and applications
Sort
View
VLSID
1999
IEEE
122views VLSI» more  VLSID 1999»
15 years 11 months ago
Formal Verification of an ARM Processor
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...
Vishnu A. Patankar, Alok Jain, Randal E. Bryant
CIKM
1997
Springer
15 years 11 months ago
Using a Sequential Index in Terrain-Aided Navigation
Terrain-aided navigation is a database application in which an aeroplane locates itself by matching the height trajectory with a terrain-elevation map on board the aircraft. Witho...
Ling Lin, Tore Risch
ICCV
2007
IEEE
15 years 11 months ago
USSR: A Unified Framework for Simultaneous Smoothing, Segmentation, and Registration of Multiple Images
Image smoothing, segmentation and registration are three key processing steps in many computer vision applications. In this paper, we present a novel framework for achieving all t...
Nicholas A. Lord, Jeffrey Ho, Baba C. Vemuri
DELTA
2006
IEEE
15 years 10 months ago
Using Design Patterns to Overcome Image Processing Constraints on FPGAs
The mapping of image processing algorithms to hardware is complicated by several hardware constraints including limited processing time, limited access to data and limited resourc...
K. T. Gribbon, Donald G. Bailey, Christopher T. Jo...
IJCV
2008
155views more  IJCV 2008»
15 years 7 months ago
Fast Transformation-Invariant Component Analysis
For software and more illustrations: http://www.psi.utoronto.ca/anitha/fastTCA.htm Dimensionality reduction techniques such as principal component analysis and factor analysis are...
Anitha Kannan, Nebojsa Jojic, Brendan J. Frey