Sciweavers

1055 search results - page 162 / 211
» order 2002
Sort
View
JOLLI
2002
109views more  JOLLI 2002»
15 years 5 months ago
Linear, Branching Time and Joint Closure Semantics for Temporal Logic
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
Joeri Engelfriet, Jan Treur
JUCS
2002
84views more  JUCS 2002»
15 years 5 months ago
The Design of an Object-based System for Representing and Classifying Spatial Structures and Relations
: Our work is concerned with the design of a knowledge-based system for recognizing agricultural landscape models on land-use maps. Landscape models are defined as sets of spatial ...
Florence Le Ber, Amedeo Napoli
KBS
2002
106views more  KBS 2002»
15 years 5 months ago
Hybrid decision tree
In this paper, a hybrid learning approach named HDT is proposed. HDT simulates human reasoning by using symbolic learning to do qualitative analysis and using neural learning to d...
Zhi-Hua Zhou, Zhaoqian Chen
KI
2002
Springer
15 years 5 months ago
Representation of Behavioral Knowledge for Planning and Plan-Recognition in a Cognitive Vision System
The algorithmic generation of textual descriptions of image sequences requires conceptual knowledge. In our case, a stationary camera recorded image sequences of road traffic scene...
Michael Arens, Hans-Hellmut Nagel
KI
2002
Springer
15 years 5 months ago
Qualitative Velocity and Ball Interception
In many approaches for qualitative spatial reasoning, navigation of an agent in a more or less static environment is considered (e.g. in the double-cross calculus [12]). However, i...
Frieder Stolzenburg, Oliver Obst, Jan Murray