1073 search results - page 36 / 215 » Reasoning about Continuous Processes |
BMCBI
2010
13 years 7 months ago
2010
Background: Phenomenological information about regulatory interactions is frequently available and can be readily converted to Boolean models. Fully quantitative models, on the ot...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
We describe here a framework dedicated to studies and experimentations upon the nature of the relationships between the rational reasoning process of an artificial agent and its ps...
LFCS
2007
Springer
14 years 1 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
UML
2001
Springer
14 years 17 hour ago
2001
Springer
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
KI
2010
Springer
13 years 6 months ago
2010
Springer
ut spatial environments, be it real or abstract, human or machine. Research issues range from human spatial cognition to mobile robot navigation. Numerous results have been obtaine...