Sciweavers

103 search results - page 11 / 21
» A separation theorem in property testing
Sort
View
BIRTHDAY
2010
Springer
13 years 8 months ago
Choiceless Computation and Symmetry
Many natural problems in computer science concern structures like graphs where elements are not inherently ordered. In contrast, Turing machines and other common models of computa...
Benjamin Rossman
PPDP
2007
Springer
14 years 1 months ago
Mechanized metatheory model-checking
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
James Cheney, Alberto Momigliano
PR
2006
122views more  PR 2006»
13 years 7 months ago
Fast multiscale clustering and manifold identification
We present a novel multiscale clustering algorithm inspired by algebraic multigrid techniques. Our method begins with assembling data points according to local similarities. It us...
Dan Kushnir, Meirav Galun, Achi Brandt
ICIP
1994
IEEE
14 years 9 months ago
Robust B-Spline Image Smoothing
In this work we present a new approach to two - dimensional robust spline smoothing. The proposed method is based on M-estimator algorithms but unlike in other M-estimator based i...
Marta Karczewicz, Moncef Gabbouj, Jaakko Astola
ICPR
2008
IEEE
14 years 2 months ago
A feature selection algorithm for handwritten character recognition
We present a Genetic Algorithm based feature selection approach according to which feature subsets are represented by individuals of an evolving population. Evolution is controlle...
Luigi P. Cordella, Claudio De Stefano, Francesco F...