Sciweavers

1086 search results - page 114 / 218
» Event Structures with Symmetry
Sort
View
CDC
2009
IEEE
115views Control Systems» more  CDC 2009»
14 years 3 months ago
Qualitative diagnosability of labeled petri nets revisited
Abstract— In recent years, classical discrete event fault diagnosis techniques have been extended to Petri Net system models under partial order semantics [8], [9], [13]. In [14]...
Stefan Haar
CDC
2009
IEEE
121views Control Systems» more  CDC 2009»
14 years 3 months ago
Piecewise-linear constrained control for timed continuous Petri nets
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
Carlos Renato Vázquez, Manuel Silva
SMA
1997
ACM
123views Solid Modeling» more  SMA 1997»
14 years 2 months ago
On Multiple Interpretations
This paper is concerned with frequency adverbs in Japanese. Many linguists have pointed out that frequency statements and generic sentences have multiple readings when they co-occ...
JungHyun Han
GFKL
2007
Springer
184views Data Mining» more  GFKL 2007»
14 years 2 months ago
FSMTree: An Efficient Algorithm for Mining Frequent Temporal Patterns
Research in the field of knowledge discovery from temporal data recently focused on a new type of data: interval sequences. In contrast to event sequences interval sequences contai...
Steffen Kempe, Jochen Hipp, Rudolf Kruse
WSC
2007
14 years 19 days ago
Targeted strategies for tuberculosis in areas of high HIV prevalence: a simulation study
We describe the analysis of a discrete event simulation model of tuberculosis (TB) and HIV disease, parameterized to describe the dual epidemics in Harare, Zimbabwe. The HIV epide...
Georgina R. Mellor, Christine S. M. Currie, Elizab...