2647 search results - page 74 / 530 » Solving Term Inequalities |
146
click to vote
MM
2009
ACM
15 years 10 months ago
2009
ACM
Similarity search is widely used in multimedia retrieval systems to find the most similar ones for a given object. Some similarity measures, however, are not metric, leading to e...
111
click to vote
SIGMETRICS
2005
ACM
15 years 9 months ago
2005
ACM
This paper considers the basic problem of “how accurate can we make Internet performance measurements”. The answer is somewhat counter-intuitive in that there are bounds on th...
146
click to vote
CADE
2004
Springer
15 years 9 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
120
click to vote
CSB
2004
IEEE
15 years 7 months ago
2004
IEEE
Clustering is a common methodology for analyzing the gene expression data. In this paper, we present a new clustering algorithm from an information-theoretic point of view. First,...
127
click to vote
NIPS
2008
15 years 5 months ago
2008
Randomized neural networks are immortalized in this well-known AI Koan: In the days when Sussman was a novice, Minsky once came to him as he sat hacking at the PDP-6. "What a...