Sciweavers

2569 search results - page 35 / 514
» Approximate Objects and Approximate Theories
Sort
View
MLQ
2000
90views more  MLQ 2000»
14 years 11 months ago
Approximate Reasoning Based on Similarity
The connection between similarity logic and the theory of closure operators is examined. Indeed one proves that the consequence relation defined in [14] can be obtained by composin...
Loredana Biacino, Giangiacomo Gerla, Mingsheng Yin...
FSS
2010
111views more  FSS 2010»
14 years 10 months ago
The geometry of consonant belief functions: Simplicial complexes of necessity measures
In this paper we extend the geometric approach to the theory of evidence in order to include the class of necessity measures, represented on a finite domain of “frame” by con...
Fabio Cuzzolin
TLDI
2009
ACM
142views Formal Methods» more  TLDI 2009»
15 years 8 months ago
Static extraction of sound hierarchical runtime object graphs
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
Marwan Abi-Antoun, Jonathan Aldrich
NIPS
2007
15 years 1 months ago
Consistent Minimization of Clustering Objective Functions
Clustering is often formulated as a discrete optimization problem. The objective is to find, among all partitions of the data set, the best one according to some quality measure....
Ulrike von Luxburg, Sébastien Bubeck, Stefa...
ICIP
2001
IEEE
16 years 1 months ago
Approximation-theoretic analysis of translation invariant wavelet expansions
It has been observed from image denoising experiments that translation invariant (TI) wavelet transforms often outperform orthogonal wavelet transforms. This paper compares the tw...
Juan Liu, Pierre Moulin