Sciweavers

1982 search results - page 107 / 397
» Parametricity and dependent types
Sort
View
DCC
2006
IEEE
16 years 4 months ago
Evaluation codes and plane valuations
Abstract. We apply tools coming from singularity theory, as Hamburger-Noether expansions, and from valuation theory, as generating sequences, to explicitly describe order functions...
C. Galindo, M. Sanchis
IDEAL
2007
Springer
15 years 11 months ago
Out of Bootstrap Estimation of Generalization Error Curves in Bagging Ensembles
The dependence of the classification error on the size of a bagging ensemble can be modeled within the framework of Monte Carlo theory for ensemble learning. These error curves ar...
Daniel Hernández-Lobato, Gonzalo Mart&iacut...
GECCO
2004
Springer
15 years 10 months ago
How Are We Doing? Predicting Evolutionary Algorithm Performance
Abstract. Given an evolutionary algorithm for a problem and an instance of the problem, the results of several trials of the EA on the instance constitute a sample from the distrib...
Mark A. Renslow, Brenda Hinkemeyer, Bryant A. Juls...
3DIM
2003
IEEE
15 years 10 months ago
Cramer-Rao Bounds for Nonparametric Surface Reconstruction from Range Data
The Cramer-Rao error bound provides a fundamental limit on the expected performance of a statistical estimator. The error bound depends on the general properties of the system, bu...
Tolga Tasdizen, Ross T. Whitaker
ITC
2003
IEEE
127views Hardware» more  ITC 2003»
15 years 10 months ago
Testing of Droplet-Based Microelectrofluidic Systems
Composite microsystems that integrate mechanical and fluidic components are fast emerging as the next generation of system-on-chip designs. As these systems become widespread in s...
Fei Su, Sule Ozev, Krishnendu Chakrabarty