Sciweavers

3830 search results - page 478 / 766
» From Reference Model to Component Model
Sort
View
UML
2001
Springer
15 years 8 months ago
An Execution Algorithm for UML Activity Graphs
We present a real-time execution semantics for UML activity graphs that is intended for workflow modelling. The semantics is defined in terms of execution algorithms that define...
Rik Eshuis, Roel Wieringa
FORMATS
2006
Springer
15 years 7 months ago
Symbolic Robustness Analysis of Timed Automata
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
Conrado Daws, Piotr Kordy
116
Voted
LREC
2008
112views Education» more  LREC 2008»
15 years 5 months ago
A Comparative Cross-Domain Study of the Occurrence of Laughter in Meeting and Seminar Corpora
Laughter is an intrinsic component of human-human interaction, and current automatic speech understanding paradigms stand to gain significantly from its detection and modeling. In...
Susanne Burger, Kornel Laskowski, Matthias Wö...
NIPS
2008
15 years 5 months ago
Bayesian Exponential Family PCA
Principal Components Analysis (PCA) has become established as one of the key tools for dimensionality reduction when dealing with real valued data. Approaches such as exponential ...
Shakir Mohamed, Katherine A. Heller, Zoubin Ghahra...
NIPS
2000
15 years 5 months ago
Learning and Tracking Cyclic Human Motion
We present methods for learning and tracking human motion in video. We estimate a statistical model of typical activities from a large set of 3D periodic human motion data by segm...
Dirk Ormoneit, Hedvig Sidenbladh, Michael J. Black...