20066 search results - page 167 / 4014 » T Spaces |
143
click to vote
VLSISP
2008
15 years 4 months ago
2008
ion of Abstract Performance Models for System-Level Design Space Exploration ANDY D. PIMENTEL, MARK THOMPSON, SIMON POLSTRA AND CAGKAN ERBAS Computer Systems Architecture Group, In...
114
click to vote
AML
2004
15 years 4 months ago
2004
We characterise imaginaries (up to interdefinability) in Hilbert spaces using a Galois theory for compact unitary groups.
140
click to vote
MLQ
2000
15 years 4 months ago
2000
The axiom of multiple choice implies that metric spaces are paracompact but the reverse implication cannot be proved in set theory without the axiom of choice.
149
click to vote
ML
2002
ACM
15 years 4 months ago
2002
ACM
We examine methods for constructing regression ensembles based on a linear program (LP). The ensemble regression function consists of linear combinations of base hypotheses generat...
109
click to vote
MOC
2002
15 years 4 months ago
2002
We develop and justify an algorithm for the construction of quasi