1982 search results - page 31 / 397 » Parametricity and dependent types |
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
Parametric yield loss due to variability can be effectively reduced by both design-time optimization strategies and by adjusting circuit parameters to the realizations of variable...
CSDA
2008
14 years 10 months ago
2008
In this paper we present the results of a simulation study to explore the ability of Bayesian parametric and nonparametric models to provide an adequate fit to count data, of the t...
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
A system-on-chip lock cache (SoCLC) is an intellectual property (IP) core that provides effective lock synchronization in a heterogeneous multiprocessor shared-memory system-on-ac...
MVA
2007
14 years 11 months ago
2007
This paper deals with a recently proposed nonparametric approach to camera calibration, which is applicable to any type of sensor design. Currently, no relative quantitative perfo...
IBPRIA
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. This paper presents a new framework for the motion segmentation and estimation task on sequences of two grey images without a priori information of the number of moving r...