2940 search results - page 33 / 588 » Relational Parametricity and Control |
FUIN
2006
14 years 9 months ago
2006
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., vi...
RTSS
2002
IEEE
15 years 2 months ago
2002
IEEE
abstractions + algorithms For Robustness to Timing Faults A new optimality criterion + algorithms
CVPR
1999
IEEE
15 years 11 months ago
1999
IEEE
A parametric camera model and calibration procedures are developed for an outdoor active camera system with pan, tilt and zoom control. Unlike traditional methods, active camera m...
SCIA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Recently, an energy-based unified framework for image denoising was proposed by Mr´azek et al. [10], from which existing nonlinear filters such as M-smoothers, bilater...
AMCS
2010
14 years 10 months ago
2010
satisfactory network connectivity have dominated this line of research and abstracted away from the mathematical description of the physical processes underlying the observed pheno...