1356 search results - page 110 / 272 » Some New Results on Inverse Sorting Problems |
DAC
1998
ACM
14 years 10 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...
ACL2
2006
ACM
14 years 3 months ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
AUSAI
2008
Springer
13 years 11 months ago
2008
Springer
The task of finding the optimum of some function f(x) is commonly accomplished by generating and testing sample solutions iteratively, choosing each new sample x heuristically on t...
CI
2007
13 years 9 months ago
2007
: When one tries to use the Web as a dictionary or encyclopedia, entering some single term into a search engine, the highly-ranked pages in the result can include irrelevant or use...
NECO
2010
13 years 3 months ago
2010
We introduce a new family of positive-definite kernels for large margin classification in support vector machines (SVMs). These kernels mimic the computation in large neural netwo...