1389 search results - page 64 / 278 » Lightweight dependent classes |
103
click to vote
JSYML
2007
15 years 2 months ago
2007
The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of ...
113
click to vote
ECML
1993
Springer
15 years 6 months ago
1993
Springer
In machine learning theory, problem classes are distinguished because of di erences in complexity. In 6 , a stochastic model of learning from examples was introduced. This PAClear...
148
click to vote
DAGM
2008
Springer
15 years 4 months ago
2008
Springer
Most current methods for multi-class object classification and localization work as independent 1-vs-rest classifiers. They decide whether and where an object is visible in an imag...
130
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
125
click to vote
DMDW
2001
15 years 3 months ago
2001
Research on logical design of OLAP cubes has tended to assume that the rollup hierarchy in a cube dimension takes the form of a balanced tree. However, experience from industry in...