Sciweavers

813 search results - page 79 / 163
» The Spatial Semantic Hierarchy
Sort
View
FOIS
2010
13 years 9 months ago
Foundations for an Ontology of Environment and Habitat
Abstract. The paper examines the semantics of the terms `environment' and `habitat' and presents a semi-formalised ontological framework in which these concepts are relat...
Brandon Bennett
SCANGIS
2003
13 years 9 months ago
Framework and Requirements for Management of Topographic Data in Europe
Topographic data sets produced by the National Mapping Agencies (NMAs) are an essential part of Spatial Data Infrastructures (SDIs). Both global and European developments will deno...
Antti Jakobsson
AAAI
1998
13 years 9 months ago
An Ontology for Transitions in Physical Dynamic Systems
Physical systemsoften exhibit complexnonlinear behaviors in continuoustime at multiple temporaland spatial scales. Abstractionssimplify behavioralanalysis and help focus on domina...
Pieter J. Mosterman, Feng Zhao, Gautam Biswas
TACAS
1997
Springer
105views Algorithms» more  TACAS 1997»
13 years 12 months ago
Graphs in METAFrame: The Unifying Power of Polymorphism
We present a highly polymorphic tool for the construction, synthesis, structuring, manipulation, investigation, and (symbolic) execution of graphs. The exibility of this tool, whic...
Michael von der Beeck, Volker Braun, Andreas Cla&s...
CSL
2007
Springer
13 years 11 months ago
Comparing the Expressive Power of Well-Structured Transition Systems
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van...