Sciweavers

779 search results - page 101 / 156
» Information-theoretic Competitive Learning
Sort
View
CADE
2006
Springer
14 years 9 months ago
Inferring Network Invariants Automatically
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
Olga Grinchtein, Martin Leucker, Nir Piterman
ALT
2005
Springer
14 years 5 months ago
Measuring Statistical Dependence with Hilbert-Schmidt Norms
Abstract. We propose an independence criterion based on the eigenspectrum of covariance operators in reproducing kernel Hilbert spaces (RKHSs), consisting of an empirical estimate ...
Arthur Gretton, Olivier Bousquet, Alex J. Smola, B...
FGR
2008
IEEE
243views Biometrics» more  FGR 2008»
14 years 3 months ago
Real-time face recognition for human-robot interaction
The ability to recognize people is a key element for improving human-robot interaction in service robots. There are many approaches for face recognition; however, these assume unr...
Claudia Cruz, Luis Enrique Sucar, Eduardo F. Moral...
ICCV
2007
IEEE
14 years 3 months ago
Support Kernel Machines for Object Recognition
Kernel classifiers based on Support Vector Machines (SVM) have recently achieved state-of-the art results on several popular datasets like Caltech or Pascal. This was possible by...
Ankita Kumar, Cristian Sminchisescu
ECCV
2010
Springer
14 years 2 months ago
ClassCut for Unsupervised Class Segmentation
Abstract. We propose a novel method for unsupervised class segmentation on a set of images. It alternates between segmenting object instances and learning a class model. The method...