1380 search results - page 64 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
PDCAT
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Agent-based simulation of large multicellular biological systems has become a viable option owing to affordable parallel computers, such as Beowulf-style clusters. We de...
SOSYM
2002
13 years 8 months ago
2002
Abstract. There is rapidly growing momentum for web enabled agents that reason about and dynamically integrate the appropriate knowledge and services at run-time. The dynamic integ...
IANDC
2008
13 years 9 months ago
2008
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...
TABLEAUX
2000
Springer
14 years 16 days ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
IQ
2007
13 years 10 months ago
2007
: To manage information quality (IQ) effectively, one needs to know how IQ changes over time, what causes it to change, and whether the changes can be predicted. In this paper we a...