Search Sciweavers | Sciweavers

4617 search results - page 265 / 924

» Automation of Diagrammatic Reasoning

151

click to vote

CSL
2008
Springer

105views Automated Reasoning» more CSL 2008»

The Computability Path Ordering: The End of a Quest

15 years 8 months ago

Download www-rocq.inria.fr

Abstract. In this paper, we first briefly survey automated termination proof methods for higher-order calculi. We then concentrate on the higher-order recursive path ordering, for ...

Frédéric Blanqui, Jean-Pierre Jouann...

claim paper

Read More »

209

click to vote

GIS
2007
ACM

116views Automated Reasoning» more GIS 2007»

STEWARD: architecture of a spatio-textual search engine

16 years 7 months ago

Download www.cs.umd.edu

Michael D. Lieberman, Hanan Samet, Jagan Sankarana...

claim paper

Read More »

223

click to vote

GIS
2008
ACM

110views Automated Reasoning» more GIS 2008»

NewsStand: a new view on news

16 years 7 months ago

Download www.cs.umd.edu

Benjamin E. Teitler, Michael D. Lieberman, Daniele...

claim paper

Read More »

246

click to vote

GIS
2003
ACM

141views Automated Reasoning» more GIS 2003»

Towards scalable location-aware services: requirements and research issues

16 years 7 months ago

Download www.cs.purdue.edu

Mohamed F. Mokbel, Walid G. Aref, Susanne E. Hambr...

claim paper

Read More »

230

click to vote

GIS
2005
ACM

105views Automated Reasoning» more GIS 2005»

Quality-driven approximate methods for integrating GIS data

16 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers