1019 search results - page 112 / 204 » Uniform Functors on Sets |
FPCA
1989
14 years 1 months ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...
PROFES
2010
Springer
14 years 1 months ago
2010
Springer
Collecting large consistent data sets for real world software projects is problematic. Therefore, we explore how little data are required before the predictor performance plateaus...
AUSAI
2006
Springer
14 years 24 days ago
2006
Springer
Decision tree-based probability estimation has received great attention because accurate probability estimation can possibly improve classification accuracy and probability-based r...
FSTTCS
2006
Springer
14 years 22 days ago
2006
Springer
The boundary labeling problem was recently introduced in [5] as a response to the problem of labeling dense point sets with large labels. In boundary labeling, we are given a recta...
SDB
1995
14 years 18 days ago
1995
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...