Sciweavers

7 search results - page 1 / 2
» Inverse and Implicit Functions in Domain Theory
Sort
View
LICS
2005
IEEE
13 years 10 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»
13 years 4 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»
13 years 3 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 5 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»
13 years 8 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...