Search Sciweavers | Sciweavers

7213 search results - page 21 / 1443

» Automated model grouping

100

Voted

GIS
1998
ACM

104views Automated Reasoning» more GIS 1998»

Abstract and Discrete Modeling of Spatio-Temporal Data Types

15 years 7 months ago

Download web.engr.oregonstate.edu

Martin Erwig, Ralf Hartmut Güting, Markus Sch...

claim paper

Read More »

108

Voted

DLOG
2007

82views Automated Reasoning» more DLOG 2007»

Modal vs. Propositional Reasoning for model checking with Description Logics

15 years 5 months ago

Download dl.kr.org

Shoham Ben-David, Richard J. Trefler, Grant E. Wed...

claim paper

Read More »

110

click to vote

GIS
2007
ACM

130views Automated Reasoning» more GIS 2007»

Near-real time motion analysis for APLIS 2007: a systems modeling perspective

15 years 5 months ago

Download vims.cis.udel.edu

Mani Thomas, Chandra Kambhamettu, Cathleen A. Geig...

claim paper

Read More »

125

click to vote

GIS
2008
ACM

105views Automated Reasoning» more GIS 2008»

Modelling vague places with knowledge from the Web

15 years 3 months ago

Download www.geo-spirit.org

Christopher B. Jones, Ross S. Purves, P. D. Clough...

claim paper

Read More »

Voted

DLOG
2010

102views Automated Reasoning» more DLOG 2010»

Temporal Conceptual Modelling with DL-Lite

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers