Sciweavers

3191 search results - page 119 / 639
» Qualitative Modeling in Education
Sort
View
AI
2005
Springer
13 years 10 months ago
On the consistency of cardinal direction constraints
We present a formal model for qualitative spatial reasoning with cardinal directions utilizing a co-ordinate system. Then, we study the problem of checking the consistency of a se...
Spiros Skiadopoulos, Manolis Koubarakis
TCS
2008
13 years 10 months ago
Temporal constraints in the logical analysis of regulatory networks
Starting from the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach based on timed automata. We obtain a refined ...
Heike Siebert, Alexander Bockmayr
AI
2000
Springer
13 years 10 months ago
Boolean connection algebras: A new approach to the Region-Connection Calculus
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...
John G. Stell
ALIFE
1998
13 years 10 months ago
Self-Evolution in a Constructive Binary String System
We examine the qualitative dynamics of a catalytic self-organizing reaction system of binary strings that is inspired by the chemical information processing metaphor. A string is ...
Peter Dittrich, Wolfgang Banzhaf
RAS
2007
122views more  RAS 2007»
13 years 9 months ago
Developmental learning for autonomous robots
Developmental robotics is concerned with the design of algorithms that promote robot adaptation and learning through qualitative growth of behaviour and increasing levels of compe...
M. H. Lee, Q. Meng, F. Chao