4103 search results - page 301 / 821 » Some results on the Collatz problem |
159
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
163
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
This paper is concerned with the problem of predicting relative performance of classification algorithms. It focusses on methods that use results on small samples and discusses th...
173
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
Current schema matching approaches still have to improve for very large and complex schemas. Such schemas are increasingly written in the standard language W3C XML schema, especia...
176
click to vote
ALT
2006
Springer
16 years 3 months ago
2006
Springer
Abstract. We propose a thresholded ensemble model for ordinal regression problems. The model consists of a weighted ensemble of confidence functions and an ordered vector of thres...
238
click to vote
Publication
We consider the computational problem of finding nearest neighbors in general metric spaces. Of particular interest are spaces that may not be conveniently embedded or approximate...