Search Sciweavers | Sciweavers

5144 search results - page 67 / 1029

» Enhancing Search with Structure

click to vote

FOCS
2000
IEEE

82views Theoretical Computer Science» more FOCS 2000»

New Data Structures for Orthogonal Range Searching

15 years 8 months ago

Download www.it-c.dk

Stephen Alstrup, Gerth Stølting Brodal, The...

claim paper

Read More »

click to vote

CIKM
2000
Springer

89views Information Technology» more CIKM 2000»

Data Replication for External Searching in Static Tree Structures

15 years 8 months ago

Download www.cs.purdue.edu

Susanne E. Hambrusch, Chuan-Ming Liu

claim paper

Read More »

click to vote

KES
1998
Springer

110views Information Technology» more KES 1998»

Neighborhood structures for genetic local search algorithms

15 years 8 months ago

Download www.res.kutc.kansai-u.ac.jp

Tadahiko Murata, Hisao Ishibuchi, Mitsuo Gen

claim paper

Read More »

116

click to vote

ICLP
2010
Springer

132views Automated Reasoning» more ICLP 2010»

Focused Proof Search for Linear Logic in the Calculus of Structures

15 years 7 months ago

Download drops.dagstuhl.de

The proof-theoretic approach to logic programming has beneﬁted from the

Nicolas Guenot

claim paper

Read More »

Voted

CPM
2006
Springer

125views Combinatorics» more CPM 2006»

Adaptive Searching in Succinctly Encoded Binary Relations and Tree-Structured Documents

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers