Sciweavers

4940 search results - page 21 / 988
» On the Complexity of Universal Programs
Sort
View
99
Voted
ICALP
2007
Springer
15 years 5 months ago
Exotic Quantifiers, Complexity Classes, and Complete Problems
Peter Bürgisser, Felipe Cucker
ICFP
1999
ACM
15 years 6 months ago
Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract)
d Abstract) Assaf J. Kfoury∗ Boston University http://www.cs.bu.edu/˜kfoury Harry G. Mairson† Brandeis University http://www.cs.brandeis.edu/˜mairson Franklyn A. Turbak‡ We...
Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Tur...
167
Voted
CVPR
2009
IEEE
16 years 9 months ago
Constrained Clustering via Spectral Regularization
We propose a novel framework for constrained spectral clustering with pairwise constraints which specify whether two objects belong to the same cluster or not. Unlike previous m...
Zhenguo Li (The Chinese University of Hong Kong), ...