Sciweavers

1313 search results - page 106 / 263
» Generic Universe Types
Sort
View
CORR
2002
Springer
96views Education» more  CORR 2002»
15 years 4 months ago
The Sketch of a Polymorphic Symphony
In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific ...
Ralf Lämmel
CVPR
2009
IEEE
16 years 11 months ago
Physics-based Edge Evaluation for Improved Color Constancy
Edge-based color constancy makes use of image derivatives to estimate the illuminant. However, different edge types exist in real-world images such as shadow, geometry, material...
Arjan Gijsenij (University of Amsterdam), Theo Gev...
132
Voted
ICFP
2006
ACM
16 years 4 months ago
Recursive modules for programming
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...
Keiko Nakata, Jacques Garrigue
ICCV
2003
IEEE
16 years 6 months ago
Object Recognition with Informative Features and Linear Classification
In this paper we show that efficient object recognition can be obtained by combining informative features with linear classification. The results demonstrate the superiority of in...
Michel Vidal-Naquet, Shimon Ullman
VLDB
2007
ACM
147views Database» more  VLDB 2007»
16 years 4 months ago
A General Framework for Modeling and Processing Optimization Queries
An optimization query asks for one or more data objects that maximize or minimize some function over the data set. We propose a general class of queries, model-based optimization ...
Michael Gibas, Ning Zheng, Hakan Ferhatosmanoglu