Sciweavers

7 search results - page 1 / 2
» Inverse and Implicit Functions in Domain Theory
Sort
View
LICS
2005
IEEE
15 years 4 months ago
Inverse and Implicit Functions in Domain Theory
We construct a domain-theoretic calculus for Lipschitz and differentiable functions, which includes addition, subtraction and composition. We then develop a domaintheoretic versio...
Abbas Edalat, Dirk Pattinson
JAT
2008
100views more  JAT 2008»
14 years 10 months ago
Direct and inverse results in variable Hilbert scales
Variable Hilbert scales are an important tool for the recent analysis of inverse problems in Hilbert spaces, as these constitute a way to describe smoothness of objects other than ...
Peter Mathé, Bernd Hofmann
ML
2008
ACM
110views Machine Learning» more  ML 2008»
14 years 8 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
15 years 11 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
SAS
1995
Springer
127views Formal Methods» more  SAS 1995»
15 years 1 months ago
Complementation in Abstract Interpretation
ntation in Abstract Interpretation AGOSTINO CORTESI Universit`a di Venezia GILBERTO FIL´E Universit`a di Padova ROBERTO GIACOBAZZI Universit`a di Pisa CATUSCIA PALAMIDESSI Univers...
Agostino Cortesi, Gilberto Filé, Roberto Gi...