4190 search results - page 164 / 838 » Type Class Directives |
144
click to vote
FLAIRS
2004
15 years 5 months ago
2004
A blind classification algorithm is presented that uses hyperdimensional geometric algorithms to locate a hypothesis, in the form of a convex polytope or hyper-sphere. The convex ...
115
click to vote
ITA
2008
15 years 4 months ago
2008
It is studied how taking the inverse image by a sliding block code affects the syntactic semigroup of a sofic subshift. Two independent approaches are used: -semigroups as recogni...
140
click to vote
ITP
2010
15 years 7 months ago
2010
Abstract. In order to make existing formalizations available for settheoretic developments, we present an automated translation of theories from Isabelle/HOL to Isabelle/ZF. This c...
122
click to vote
EUSFLAT
2007
15 years 5 months ago
2007
The aim of the contribution is the discussion of some types and classes of means on ordinal scales, especially kernel and shift invariant ordinal means, weighted ordinal means bas...
129
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...