Search Sciweavers | Sciweavers

4573 search results - page 24 / 915

» Automated Reasoning

105

click to vote

GIS
1998
ACM

83views Automated Reasoning» more GIS 1998»

Overlapping Linear Quadtrees: A Spatio-Temporal Access Method

15 years 8 months ago

Download delab.csd.auth.gr

Theodoros Tzouramanis, Michael Vassilakopoulos, Ya...

claim paper

Read More »

105

click to vote

GIS
1998
ACM

99views Automated Reasoning» more GIS 1998»

Matching and Aligning Features in Overlayed Coverages

15 years 8 months ago

Download users.cs.cf.ac.uk

J. Mark Ware, Christopher B. Jones

claim paper

Read More »

100

click to vote

ICLP
1998
Springer

97views Automated Reasoning» more ICLP 1998»

Proof-Theoretic Foundation of Compilation in Logic Programming

15 years 8 months ago

Download www.qatar.cmu.edu

Iliano Cervesato

claim paper

Read More »

103

click to vote

ILP
1998
Springer

91views Automated Reasoning» more ILP 1998»

Repeat Learning Using Predicate Invention

15 years 8 months ago

Download www.doc.ic.ac.uk

Khalid Khan, Stephen Muggleton, Rupert Parson

claim paper

Read More »

103

click to vote

ILP
1998
Springer

98views Automated Reasoning» more ILP 1998»

Learning Multilingual Morphology with CLOG

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers