Sciweavers

244 search results - page 3 / 49
» Towards a Theory of Extractable Functions
Sort
View
ML
2008
ACM
110views Machine Learning» more  ML 2008»
13 years 4 months ago
A theory of learning with similarity functions
Kernel functions have become an extremely popular tool in machine learning, with an attractive theory as well. This theory views a kernel as implicitly mapping data points into a ...
Maria-Florina Balcan, Avrim Blum, Nathan Srebro
ICML
2006
IEEE
14 years 6 months ago
On a theory of learning with similarity functions
Kernel functions have become an extremely popular tool in machine learning, with an attractive theory as well. This theory views a kernel as implicitly mapping data points into a ...
Maria-Florina Balcan, Avrim Blum
CSMR
1998
IEEE
13 years 9 months ago
The Extract-Transform-Rewrite Cycle. A Step towards MetaCARE
A conceptual reengineering framework is presented that proposes extract, transform and rewrite as three characteristic steps to be performed within a reengineering cycle. The cycl...
Jürgen Ebert, Bernt Kullbach, Andreas Panse
CORR
2010
Springer
58views Education» more  CORR 2010»
13 years 2 months ago
Towards Theory of Massive-Parallel Proofs. Cellular Automata Approach
In the paper I sketch a theory of massively parallel proofs using cellular automata presentation of deduction. In this presentation inference rules play the role of cellular-autom...
Andrew Schumann
LICS
1999
IEEE
13 years 9 months ago
Towards a Theory of Bisimulation for Local Names
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
Alan Jeffrey, Julian Rathke