83
Voted
COCO
2006
Springer
15 years 7 months ago
2006
Springer
123
click to vote
FASE
2004
Springer
15 years 7 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
123
click to vote
FAABS
2004
Springer
15 years 7 months ago
2004
Springer
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
CNSR
2006
IEEE
15 years 7 months ago
2006
IEEE
A new forecasting technique called the extended structural model (ESM) is presented. This technique is derived
123
click to vote
CMSB
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents a method for regulatory network reconstruction from experimental data. We propose a mathematical model for regulatory interactions, based on the work ...