Sciweavers

1916 search results - page 132 / 384
» Reasoning with class algebra
Sort
View
AI
2009
Springer
15 years 11 months ago
Cost-Based Sampling of Individual Instances
In many practical domains, misclassification costs can differ greatly and may be represented by class ratios, however, most learning algorithms struggle with skewed class distrib...
William Klement, Peter A. Flach, Nathalie Japkowic...
ICIP
2005
IEEE
16 years 6 months ago
Fourier transform for the spatial quincunx lattice
We derive a new, two-dimensional nonseparable signal transform for computing the spectrum of spatial signals residing on a finite quincunx lattice. The derivation uses the connect...
Markus Püschel, Martin Rötteler
ICCV
2005
IEEE
15 years 10 months ago
A Unifying Approach to Hard and Probabilistic Clustering
We derive the clustering problem from first principles showing that the goal of achieving a probabilistic, or ”hard”, multi class clustering result is equivalent to the algeb...
Ron Zass, Amnon Shashua
ASIAN
1999
Springer
118views Algorithms» more  ASIAN 1999»
15 years 8 months ago
Asynchronous Links in the PBC and M-Nets
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We intro...
Hanna Klaudel, Franck Pommereau
ICFP
1996
ACM
15 years 8 months ago
Inductive, Coinductive, and Pointed Types
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
Brian T. Howard