Search Sciweavers | Sciweavers

12745 search results - page 186 / 2549

» Automating test automation

159

click to vote

GIS
1992
ACM

129views Automated Reasoning» more GIS 1992»

Reasoning about Gradual Changes of Topological Relationships

15 years 10 months ago

Download www.spatial.maine.edu

Max J. Egenhofer, Khaled K. Al-Taha

claim paper

Read More »

133

click to vote

GIS
1992
ACM

103views Automated Reasoning» more GIS 1992»

A Conceptual Model of Wayfinding Using Multiple Levels of Abstraction

15 years 10 months ago

Download www.spatial.maine.edu

Sabine Timpf, Gary S. Volta, David W. Pollock, Max...

claim paper

Read More »

149

click to vote

ICLP
1992
Springer

87views Automated Reasoning» more ICLP 1992»

Understanding Finiteness Analysis Using Abstract Interpretation

15 years 10 months ago

Download www.cs.arizona.edu

Peter A. Bigot, Saumya K. Debray, Kim Marriott

claim paper

Read More »

119

click to vote

ICLP
1992
Springer

76views Automated Reasoning» more ICLP 1992»

Multistage Indexing Algorithms for Speeding Prolog Execution

15 years 10 months ago

Download www.cs.ubc.ca

Ta Chen, I. V. Ramakrishnan, R. Ramesh

claim paper

Read More »

125

click to vote

ICLP
1992
Springer

98views Automated Reasoning» more ICLP 1992»

Query Restricted Bottom-Up Evaluation of Normal Logic Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers