Sciweavers

12745 search results - page 150 / 2549

» Automating test automation

98

Voted

GIS
2002
ACM

81views Automated Reasoning» more GIS 2002»

Toward the semantic geospatial web

15 years 4 months ago

Toward the semantic geospatial web

Download www.spatial.maine.edu

Max J. Egenhofer

claim paper

Read More »

125

GIS
2002
ACM

125views Automated Reasoning» more GIS 2002»

Extending geographical representation to include fields of spatial objects

15 years 4 months ago

Extending geographical representation to include fields of spatial objects

Download www.geog.utah.edu

Thomas J. Cova, Michael F. Goodchild

claim paper

Read More »

125

Voted

GIS
2002
ACM

133views Automated Reasoning» more GIS 2002»

Accuracy of discontinuous binary surfaces: a case study using boreal forest fires

15 years 4 months ago

Accuracy of discontinuous binary surfaces: a case study using boreal forest fires

Download www.fire-regime-model.com

Tarmo K. Remmel, Ajith H. Perera

claim paper

Read More »

117

CSL
1998
Springer

93views Automated Reasoning» more CSL 1998»

Logical Relations and Inductive/Coinductive Types

15 years 4 months ago

Logical Relations and Inductive/Coinductive Types

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

115

Voted

CSL
1998
Springer

82views Automated Reasoning» more CSL 1998»

Scaled random trajectory segment models

15 years 4 months ago

Scaled random trajectory segment models

Download www.eng.biu.ac.il

Jacob Goldberger, David Burshtein

claim paper

Read More »

« Prev « First page 150 / 2549 Last » Next »