563 search results - page 18 / 113 » A Typing Scheme for Behavioural Models |
118
Voted
JLP
2006
15 years 1 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...
115
click to vote
IJCNN
2006
IEEE
15 years 8 months ago
2006
IEEE
—This paper presents a novel fuzzy logic based controller for a Static Compensator (STATCOM) connected to a power system. Type-II fuzzy systems are selected that enable the contr...
111
Voted
ESANN
2004
15 years 3 months ago
2004
Spiking neurons model a type of biological neural system where information is encoded with spike times. In this paper, a new method for decoding input spikes according to their abs...
120
Voted
WSC
2008
15 years 4 months ago
2008
Optimization and design of production and service operations has been a cornerstone of simulation applications for many years. Recently there has been increasing interest in excel...
104
click to vote
JOLLI
2002
15 years 1 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...