Sciweavers

1717 search results - page 151 / 344
» A Computable Spectral Theorem
Sort
View
EJC
2000
15 years 4 months ago
Further Investigations Involving Rook Polynomials With Only Real Zeros
We study the zeros of two families of polynomials related to rook theory and matchings in graphs. One of these families is based on the cover polynomial of a digraph introduced by ...
James Haglund
FAC
2010
106views more  FAC 2010»
15 years 2 months ago
Automatic verification of Java programs with dynamic frames
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Sc...
CVPR
2007
IEEE
16 years 6 months ago
Color Constancy using Natural Image Statistics
Although many color constancy methods exist, they are all based on specific assumptions such as the set of possible light sources, or the spatial and spectral characteristics of i...
Arjan Gijsenij, Theo Gevers
CVPR
2007
IEEE
16 years 6 months ago
Image Matching via Saliency Region Correspondences
We introduce the notion of co-saliency for image matching. Our matching algorithm combines the discriminative power of feature correspondences with the descriptive power of matchi...
Alexander Toshev, Jianbo Shi, Kostas Daniilidis
CVPR
2008
IEEE
16 years 6 months ago
Dimensionality reduction by unsupervised regression
We consider the problem of dimensionality reduction, where given high-dimensional data we want to estimate two mappings: from high to low dimension (dimensionality reduction) and f...
Miguel Á. Carreira-Perpiñán, ...