Sciweavers

3863 search results - page 543 / 773
» Function in Device Representation
Sort
View
MST
2007
168views more  MST 2007»
15 years 6 months ago
Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
Milad Niqui
CVPR
2010
IEEE
15 years 5 months ago
Rapid and accurate developmental stage recognition of C. elegans from high-throughput image data
We present a hierarchical principle for object recognition and its application to automatically classify developmental stages of C. elegans animals from a population of mixed stag...
Amelia White, Huey-Ling Kao, Patricia Cipriani, Br...
TASLP
2010
118views more  TASLP 2010»
15 years 5 months ago
Time-Frequency Sparsity by Removing Perceptually Irrelevant Components Using a Simple Model of Simultaneous Masking
Abstract—We present an algorithm for removing timefrequency components, found by a standard Gabor transform, of a “real-world” sound while causing no audible difference to th...
Péter Balázs, Bernhard Laback, Gerha...
ACCV
2010
Springer
15 years 7 months ago
Abstraction and Generalization of 3D structure for recognition in large intra-class variation
Humans have abstract models for object classes which helps recognize previously unseen instances, despite large intra-class variations. Also objects are grouped into classes based...
Gowri Somanath, Chandra Kambhamettu
CORR
2010
Springer
209views Education» more  CORR 2010»
15 years 3 months ago
Generalized Tree-Based Wavelet Transform
In this paper we propose a new wavelet transform applicable to functions defined on graphs, high dimensional data and networks. The proposed method generalizes the Haar-like transf...
Idan Ram, Michael Elad, Israel Cohen