2335 search results - page 228 / 467 » Type Checking Type Classes |
117
Voted
ICDE
2011
IEEE
14 years 4 months ago
2011
IEEE
—It is increasingly common to find graphs in which edges bear different types, indicating a variety of relationships. For such graphs we propose a class of reachability queries ...
166
click to vote
CVPR
2012
IEEE
13 years 3 months ago
2012
IEEE
ImageNet is a large-scale database of object classes with millions of images. Unfortunately only a small fraction of them is manually annotated with bounding-boxes. This prevents ...
106
Voted
ICML
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a comprehensive suite of experimentation on the subject of learning from imbalanced data. When classes are imbalanced, many learning algorithms can suffer from the pers...
184
Voted
ICML
2002
IEEE
16 years 1 months ago
2002
IEEE
A new approach to ensemble learning is introduced that takes ranking rather than classification as fundamental, leading to models on the symmetric group and its cosets. The approa...
108
click to vote
CADE
2004
Springer
16 years 28 days ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...