Sciweavers

1209 search results - page 111 / 242
» Universal Algebra and Computer Science
Sort
View
COCOON
2001
Springer
15 years 7 months ago
Program Schemes, Queues, the Recursive Spectrum and Zero-One Laws
abstract appeared in: Proc. of 7th Ann. Int. Computing and Combinatorics Conference, COCOON 2001 (ed. J. Wang), Lecture Notes in Computer Science Vol. 2108, Springer-Verlag, Berlin...
Iain A. Stewart
EWRL
2008
15 years 5 months ago
New Error Bounds for Approximations from Projected Linear Equations
We consider linear fixed point equations and their approximations by projection on a low dimensional subspace. We derive new bounds on the approximation error of the solution, whi...
Huizhen Yu, Dimitri P. Bertsekas
SIGPLAN
2008
15 years 3 months ago
Injecting programming language concepts throughout the curriculum: an inclusive strategy
As research in programming language design, implementation, and application advances, we must regularly revisit the undergraduate curriculum to ensure course content advances simi...
Mark W. Bailey
APPROX
2010
Springer
139views Algorithms» more  APPROX 2010»
15 years 4 months ago
Two-Source Extractors Secure against Quantum Adversaries
We initiate the study of multi-source extractors in the quantum world. In this setting, our goal is to extract random bits from two independent weak random sources, on which two q...
Roy Kasher, Julia Kempe
CVPR
2009
IEEE
1599views Computer Vision» more  CVPR 2009»
16 years 10 months ago
Multi-Label Sparse Coding for Automatic Image Annotation
In this paper, we present a multi-label sparse coding framework for feature extraction and classification within the context of automatic image annotation. First, each image is ...
Changhu Wang (University of Science and Technology...