Sciweavers

1380 search results - page 100 / 276
» Reasoning about Input-Output Modeling of Dynamical Systems
Sort
View
HYBRID
2000
Springer
14 years 20 days ago
Hybrid Systems Diagnosis
This paper reports on an on-going project to investigate techniques to diagnose complex dynamical systems that are modeled as hybrid systems. In particular, we examine continuous s...
Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vi...
MCU
2007
113views Hardware» more  MCU 2007»
13 years 10 months ago
On the Computational Capabilities of Several Models
We review some results about the computational power of several computational models. Considered models have in common to be related to continuous dynamical systems. 1 Dynamical Sy...
Olivier Bournez, Emmanuel Hainry
ENC
2004
IEEE
14 years 24 days ago
Distributed Learning in Intentional BDI Multi-Agent Systems
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competen...
Alejandro Guerra-Hernández, Amal El Fallah-...
HAIS
2009
Springer
14 years 1 months ago
A Thermodynamical Model Study for an Energy Saving Algorithm
A local Spanish company that produces electric heaters needs an energy saving device to be integrated with the heaters. It was proven that a hybrid artificial intelligent systems (...
Enrique A. de la Cal, José Ramón Vil...
ACSAC
2007
IEEE
14 years 3 months ago
Improving Signature Testing through Dynamic Data Flow Analysis
The effectiveness and precision of network-based intrusion detection signatures can be evaluated either by direct analysis of the signatures (if they are available) or by using bl...
Christopher Kruegel, Davide Balzarotti, William K....