Sciweavers

80 search results - page 4 / 16
» Qualitative Spatial Reasoning about Sketch Maps
Sort
View
AI
2000
Springer
13 years 7 months ago
Model-based reasoning about learner behaviour
Automated handling of tutoring and training functions in educational systems requires the availability of articulate domain models. In this article we further develop the applicat...
Kees de Koning, Bert Bredeweg, Joost Breuker, Bob ...
DATE
2008
IEEE
113views Hardware» more  DATE 2008»
13 years 9 months ago
Run-time Spatial Mapping of Streaming Applications to a Heterogeneous Multi-Processor System-on-Chip (MPSOC)
In this paper, the problem of spatial mapping is defined. Reasons are presented to show why performing spatial mappings at run-time is both necessary and desirable and criteria fo...
Philip K. F. Hölzenspies, Johann Hurink, Jan ...
CI
1998
79views more  CI 1998»
13 years 7 months ago
Representing and Reasoning about Motion in a Two-Dimensional World
This paper presents a point based spatio-temporal rst order logic for representing the qualitative and quantitative spatial temporal knowledge needed to reason about motion in a t...
Wanlin Pang, André Trudel
JUCS
2010
100views more  JUCS 2010»
13 years 6 months ago
Spatial Reasoning with Integrated Qualitative-Metric Fuzzy Constraint Networks
Abstract: Qualitative Spatial Reasoning can be greatly improved if metric information can be represented and reasoning can be performed on it; moreover, modelling vagueness and unc...
Marco Falda
KI
1999
Springer
13 years 12 months ago
On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics
Among the formalisms for qualitative spatial reasoning, the Region Connection Calculus and its variant, the constraint algebra RCC8, have received particular attention recently. A...
Werner Nutt