1982 search results - page 124 / 397 » Parametricity and dependent types |
168
click to vote
SSD
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Query optimization is an important functionality of modern database systems and often based on estimating the selectivity of queries before actually executing them. Well-...
147
click to vote
TARK
2005
Springer
16 years 3 days ago
2005
Springer
Two natural strategy elimination procedures have been studied for strategic games. The first one involves the notion of (strict, weak, etc) dominance and the second the notion of...
185
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We describe an efficient approach to construct shape models composed of contour parts with partially-supervised learning. The proposed approach can easily transfer parts ...
213
click to vote
ALT
1999
Springer
15 years 11 months ago
1999
Springer
We are concerned with the problem of sequential prediction using a givenhypothesis class of continuously-manyprediction strategies. An e ectiveperformance measure is the minimax re...
156
click to vote
SSDBM
1998
IEEE
15 years 11 months ago
1998
IEEE
When scientific data sets can be interpreted visually they are typically managed as pictures and consequently stored as large collections of bitmaps. Valuable information containe...