Sciweavers

3179 search results - page 170 / 636
» Applications of PCF Theory
Sort
View
ESANN
2006
13 years 11 months ago
Synthesis of maximum margin and multiview learning using unlabeled data
In this presentation we show the semi-supervised learning with two input sources can be transformed into a maximum margin problem to be similar to a binary SVM. Our formulation exp...
Sándor Szedmák, John Shawe-Taylor
AAAI
1994
13 years 11 months ago
Testing Physical Systems
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
Peter Struss
BIRTHDAY
2010
Springer
13 years 11 months ago
Metrization Theorem for Space-Times: From Urysohn's Problem towards Physically Useful Constructive Mathematics
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...
Vladik Kreinovich
ECCC
2006
87views more  ECCC 2006»
13 years 10 months ago
The Learnability of Quantum States
Traditional quantum state tomography requires a number of measurements that grows exponentially with the number of qubits n. But using ideas from computational learning theory, we...
Scott Aaronson
ICMLA
2008
13 years 11 months ago
Multi-stage Learning of Linear Algebra Algorithms
In evolving applications, there is a need for the dynamic selection of algorithms or algorithm parameters. Such selection is hardly ever governed by exact theory, so intelligent r...
Victor Eijkhout, Erika Fuentes