505 search results - page 22 / 101 » Universal Constructions for Large Objects |
123
click to vote
FOSSACS
2011
Springer
14 years 5 months ago
2011
Springer
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
103
click to vote
CSL
2001
Springer
15 years 6 months ago
2001
Springer
We introduce a method of extending arbitrary categories by a terminal object and apply this method in various type theoretic settings. In particular, we show that categories that a...
139
Voted
ICDE
2012
IEEE
13 years 4 months ago
2012
IEEE
Abstract—Most objects and data in the real world are interconnected, forming complex, heterogeneous but often semistructured information networks. However, many database research...
122
click to vote
ECCV
2006
Springer
16 years 3 months ago
2006
Springer
Local appearance models in the neighborhood of salient image features, together with local and/or global geometric constraints, serve as the basis for several recent and effective...
120
Voted
CVIU
2008
15 years 1 months ago
2008
We propose a novel scheme for using supervised learning for function-based classification of objects in 3D images. During the learning process, a generic multi-level hierarchical ...