Search Sciweavers | Sciweavers

4573 search results - page 24 / 915

» Automated Reasoning

131

click to vote

GIS
1998
ACM

83views Automated Reasoning» more GIS 1998»

Overlapping Linear Quadtrees: A Spatio-Temporal Access Method

15 years 10 months ago

Download delab.csd.auth.gr

Theodoros Tzouramanis, Michael Vassilakopoulos, Ya...

claim paper

Read More »

128

click to vote

GIS
1998
ACM

99views Automated Reasoning» more GIS 1998»

Matching and Aligning Features in Overlayed Coverages

15 years 10 months ago

Download users.cs.cf.ac.uk

J. Mark Ware, Christopher B. Jones

claim paper

Read More »

122

click to vote

ICLP
1998
Springer

97views Automated Reasoning» more ICLP 1998»

Proof-Theoretic Foundation of Compilation in Logic Programming

15 years 10 months ago

Download www.qatar.cmu.edu

Iliano Cervesato

claim paper

Read More »

123

click to vote

ILP
1998
Springer

91views Automated Reasoning» more ILP 1998»

Repeat Learning Using Predicate Invention

15 years 10 months ago

Download www.doc.ic.ac.uk

Khalid Khan, Stephen Muggleton, Rupert Parson

claim paper

Read More »

133

click to vote

ILP
1998
Springer

98views Automated Reasoning» more ILP 1998»

Learning Multilingual Morphology with CLOG

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers