Sciweavers

4190 search results - page 171 / 838
» Type Class Directives
Sort
View
COLT
2001
Springer
15 years 8 months ago
Robust Learning - Rich and Poor
A class C of recursive functions is called robustly learnable in the sense I (where I is any success criterion of learning) if not only C itself but even all transformed classes Ī...
John Case, Sanjay Jain, Frank Stephan, Rolf Wiehag...
MLQ
1998
84views more  MLQ 1998»
15 years 3 months ago
Arithmetical Measure
We develop arithmetical measure theory along the lines of Lutz [10]. This yields the same notion of ā€œmeasure 0 setā€ as considered before by Martin-LĀØof, Schnorr, and others. W...
Sebastiaan Terwijn, Leen Torenvliet
ECOOP
2000
Springer
15 years 8 months ago
Jam - A Smooth Extension of Java with Mixins
Abstract. In this paper we present Jam, an extension of the Java language supporting mixins, that is, parametric heir classes. A mixin declaration in Jam is similar to a Java heir ...
Davide Ancona, Giovanni Lagorio, Elena Zucca
OOPSLA
2010
Springer
15 years 2 months ago
Tribal ownership
Tribal Ownership unifies class nesting and object ownership. Tribal Ownership is based on Tribe, a language with nested classes and object families. In Tribal Ownership, a progra...
Nicholas R. Cameron, James Noble, Tobias Wrigstad
MFCS
2007
Springer
15 years 10 months ago
Hardness Results for Tournament Isomorphism and Automorphism
A tournament is a graph in which each pair of distinct vertices is connected by exactly one directed edge. Tournaments are an important graph class, for which isomorphism testing ...
Fabian Wagner