Image Processing Reference
In-Depth Information
6. References
Alefeld, G. (1984), The Centered Form and the Mean Value Form - A Necessary Condition
that They Yield the Range,
Computing
, 33, 165-169.
Armengol, J.; Vehí, J.; Travé-Massuyès, L. & Sainz, M. A. (DX-2001), Application of Multiple
Sliding Time Windows to Fault Detection Based on Interval Models,
12th
International Workshop on Principles of Diagnosis.
Berz, M. (1991),
Forward Algorithms for High Orders and Many Variables
.
Berz, M. (1997),
COSY INFINITY Version 8 Reference Manual.
Berz, M. (1999),
Modern Map Methods in Particle Beam Phisics
, Academic Press, San Diego.
Berz, M.; Bischof, C.; Griewank, A. & Corliss, G. (1996),
Computational Differentiation:
Techniques, Applications and Tools
.
Berz, M. & Makino, K. (1998), "Verified Integration of ODEs and Flows Using Differential
Algebraic Methods on High-Order Taylor Models",
Reliable Computing
, 4, 4, 361-369.
Berz, M. & Makino, K. (2004),
Taylor Model Research: Results and Reprints
.
Caffarena, G.; López, J.A.; Leyva, G.; Carreras C.; Nieto-Taladriz, O., (2009), Architectural
Synthesis of Fixed-Point DSP Datapaths using FPGAs,
International Journal of
Reconfigurable Computing
, vol. 2009, 14 pages.
Caffarena, G.; López, J.A.; Leyva, G.; Carreras C.; Nieto-Taladriz, O., (2010), SQNR
Estimation of Fixed-Point DSP Algorithms,
EURASIP Journal on Advances in Signal
Processing
, vol. 2010, article 21, 12 pages.
Clark, M.; Mulligan, M.; Jackson, D.; & Linebarger, D. (2005), Accelerating Fixed-Point
Design for MB-OFDM UWB Systems.
CommsDesign
. Online available at:
http://www.commsdesign.com/showArticle.jhtml?articleID=57703818.
Coconut_Group (2002),
COCONUT, COntinuous COnstraints - UpdatiNg the Technology - IST
Project funded by the European Union
.
Comba, J. L. D. & Stolfi, J. (1993),
Affine Arithmetic and Its Applications to Computer Graphics
, 9-18.
Corliss, G. F. (2004),
G.F. Corliss Homepage
, http://www.eng.mu.edu/corlissg/
Fang, C. F.; Chen, T. & Rutenbar, R. A. (2003), "Floating-point error analysis based on affine
arithmetic",
Proc. IEEE Int. Conf. on Acoustics, Speech, and Signal Processing (ICASSP
'03)
, 2, 561-564.
Femia, N. & Spagnuolo, G. (2000), "True Worst-Case Circuit Tolerance Analysis Using
Genetic Algorithms and Affine Arithmetic",
IEEE Trans. Circuits and Systems I:
Fundamental Theory and Applications
, 47, 9, 1285-1296.
Figuereido, L. H. d. & Stolfi, J. (2002), "Affine Arithmetic: Concepts and Applications",
10th
GAMM - IMACS International Symposium on Scientific Computing, Computer
Arithmetic, and Validated Numerics, SCAN 2002
.
Gardenes, E. (1985), "Modal Intervals: Reasons and Ground Semantics",
Lecture Notes in
Computer Science
, 212, 27-35.
Gardenes, E. & Trepat, A. (1980), "Fundamentals of SIGLA, an Interval Computing System
over the Completed Set of Intervals",
Computing
, 24, 161-179.
Garloff (1999),
Introduction to Interval Computations
.
GlobSol_Group (2004),
GlobSol Homepage
,
http://caneos.mcmaster.ca/solvers/GLOB:GLOBSOL/
Goldenstein, S.; Vogler, C. & Metaxas, D. (2001),
Affine Arithmetic Based Estimation of Cue
Distributions in Deformable Model Tracking
.
Hansen, E. R. (1975),
A Generalized Interval Arithmetic
, 7-18.
Hill, T. (2006),
Acceldsp synthesis tool floating-point to fixed-point conversion of matlab algorithms
targeting fpgas
. White paper, Xilinx.
