9405 search results - page 974 / 1881 » Computing a Model of Set Theory |
194
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
186
Voted
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract The most common matching applications, e.g., ontology matching, focus on the computation of the correspondences holding between the nodes of graph structures (e.g., concep...
161
Voted
ACIVS
2006
Springer
16 years 1 months ago
2006
Springer
This paper focuses on fuzzy image denoising techniques. In particular, we investigate the usage of fuzzy set theory in the domain of image enhancement using wavelet thresholding. W...
177
Voted
HT
2005
ACM
16 years 1 months ago
2005
ACM
Conversion between different adaptive hypermedia systems has barely been proposed, yet alone tested in realistic settings. This paper presents the evaluation of the interoperabili...
203
Voted
PODC
2005
ACM
16 years 1 months ago
2005
ACM
In this paper, we initiate the study of the approximability of the facility location problem in a distributed setting. In particular, we explore a trade-off between the amount of...