Sciweavers

2375 search results - page 110 / 475
» Towards a Theory of Services
Sort
View
ML
2008
ACM
110views Machine Learning» more  ML 2008»
15 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
16 years 7 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
RTA
2005
Springer
15 years 12 months ago
Arithmetic as a Theory Modulo
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
Gilles Dowek, Benjamin Werner
ARTMED
2006
80views more  ARTMED 2006»
15 years 6 months ago
A formal theory for spatial representation and reasoning in biomedical ontologies
Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomed...
Maureen Donnelly, Thomas Bittner, Cornelius Rosse
DGO
2004
109views Education» more  DGO 2004»
15 years 7 months ago
Citizens Preferences Towards One-Stop Government
The poster presents the major results of a survey conducted in several German cities to asses preferences citizens have towards aspects of One-Stop Government. One Stop Government...
Alexander Schellong, Dieter Mans