3055 search results - page 427 / 611 » Randomized Search Trees |
126
click to vote
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver s...
135
click to vote
ACSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
Differentiating anomalous network activity from normal network traffic is difficult and tedious. A human analyst must search through vast amounts of data to find anomalous sequenc...
167
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
We investigate the average-case speed and scalability of parallel algorithms executing on multiprocessors. Our performance metrics are average-speed and isospeed scalability. By m...
133
click to vote
ISSAC
1994
Springer
15 years 8 months ago
1994
Springer
New techniques, both theoretical and practical, are presented for constructing a permutation representation for a matrix group. We assume that the resulting permutation degree, n,...
126
click to vote
CAAN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Helsgaun has introduced and implemented the lower tolerances (-values) for an approximation of Held-Karp's 1-tree with the purpose to improve the Lin-Kernighan Heuri...