Sciweavers

5144 search results - page 67 / 1029
» Enhancing Search with Structure
Sort
View
FOCS
2000
IEEE
15 years 10 months ago
New Data Structures for Orthogonal Range Searching
Stephen Alstrup, Gerth Stølting Brodal, The...
KES
1998
Springer
15 years 10 months ago
Neighborhood structures for genetic local search algorithms
Tadahiko Murata, Hisao Ishibuchi, Mitsuo Gen
ICLP
2010
Springer
15 years 10 months ago
Focused Proof Search for Linear Logic in the Calculus of Structures
The proof-theoretic approach to logic programming has benefited from the
Nicolas Guenot