Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Chapter eight intelligent environmental decision support systems
The goal of this chapter is to analyse major challenges in the development of Intelligent
Environmental Decision Support Systems (IEDSS), to review some possible approaches …
Environmental Decision Support Systems (IEDSS), to review some possible approaches …
Spherical topological relations
MJ Egenhofer - Journal on Data Semantics III, 2005 - Springer
Analysis of global geographic phenomena requires non-planar models. In the past, models
for topological relations have focused either on a twodimensional or a three-dimensional …
for topological relations have focused either on a twodimensional or a three-dimensional …
A geometric theory of vague boundaries based on supervaluation
L Kulik - International conference on spatial information theory, 2001 - Springer
The representation of geographical objects with vague or fuzzy boundaries still poses a
challenge to current geographical information systems. The paper presents a geometric …
challenge to current geographical information systems. The paper presents a geometric …
Computational complexity of propositional linear temporal logics based on qualitative spatial or temporal reasoning
P Balbiani, C Jean-François - … FroCoS 2002 Santa Margherita Ligure, Italy …, 2002 - Springer
We consider the language obtained by mixing the model of the regions and the
propositional linear temporal logic. In particular, we propose alternative languages where …
propositional linear temporal logic. In particular, we propose alternative languages where …
Binary topological relations on the digital sphere
Topological relations are the predominant backbone of qualitative spatial reasoning,
focusing to date mostly on objects that are embedded in R 2. With the advent of ball-shaped …
focusing to date mostly on objects that are embedded in R 2. With the advent of ball-shaped …
A generic toolkit for n-ary qualitative temporal and spatial calculi
JF Condotta, M Saade, G Ligozat - … International Symposium on …, 2006 - ieeexplore.ieee.org
Temporal and spatial reasoning is a central task for numerous applications in many areas of
artificial intelligence. For this task, numerous formalisms using the qualitative approach have …
artificial intelligence. For this task, numerous formalisms using the qualitative approach have …