Sciweavers

2328 search results - page 162 / 466
» Causal Relation Extraction
Sort
View
132
Voted
COMPSAC
2006
IEEE
15 years 10 months ago
Tool Support to Model-based Quality Analysis of Software Architecture
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...
Qian Zhang, Jian Wu, Hong Zhu
121
Voted
CEEMAS
2005
Springer
15 years 9 months ago
Diagnosis of Plans and Agents
Abstract. We discuss the application of Model-Based Diagnosis in (agentbased) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It...
Nico Roos, Cees Witteveen
ECSQARU
2005
Springer
15 years 9 months ago
Hydrologic Models for Emergency Decision Support Using Bayesian Networks
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...
Martín Molina, Raquel Fuentetaja, Luis Garr...
FORMATS
2005
Springer
15 years 9 months ago
Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
Thomas Chatain, Claude Jard
KI
2005
Springer
15 years 9 months ago
Diagnosis of Plan Execution and the Executing Agent
We discuss the application of Model-Based Diagnosis in (agent-based) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It is assum...
Nico Roos, Cees Witteveen