Sciweavers

10406 search results - page 148 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
CDC
2008
IEEE
141views Control Systems» more  CDC 2008»
15 years 9 months ago
Generalized linear dynamic factor models - a structure theory
— In this paper we present a structure theory for generalized linear dynamic factor models (GDFM’s). Emphasis is laid on the so-called zeroless case. GDFM’s provide a way of ...
Brian D. O. Anderson, Manfred Deistler
CDC
2009
IEEE
147views Control Systems» more  CDC 2009»
15 years 1 months ago
A probabilistic approach for control of a stochastic system from LTL specifications
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
Morteza Lahijanian, Sean B. Andersson, Calin Belta
140
Voted
ISMIS
2009
Springer
15 years 10 months ago
Discovering Structured Event Logs from Unstructured Audit Trails for Workflow Mining
Workflow mining aims to find graph-based process models based on activities, emails, and various event logs recorded in computer systems. Current workflow mining techniques mainly ...
Liqiang Geng, Scott Buffett, Bruce Hamilton, Xin W...
SAC
2010
ACM
15 years 8 months ago
Of mice and terms: clustering algorithms on ambiguous terms in folksonomies
Developed using the principles of the Model-View-Controller architectural pattern, FolksEngine is a parametric search engine for folksonomies that allows us to test arbitrary sear...
Nicola Raffaele Di Matteo, Silvio Peroni, Fabio Ta...
TCS
2008
15 years 3 months ago
On the decidability and complexity of the structural congruence for beta-binders
Beta-binders is a recent process calculus developed for modelling and simulating biological systems. As usual for process calculi, the semantic definition heavily relies on a stru...
Alessandro Romanel, Corrado Priami