384 search results - page 45 / 77 » On the Semantics of Markov Automata |
134
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Privacy policies often place requirements on the purposes for which a governed entity may use personal information. For example, regulations, such as HIPAA, require that hospital ...
117
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
105
click to vote
TCS
2010
15 years 8 days ago
2010
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...
125
click to vote
ICIP
2007
IEEE
16 years 3 months ago
2007
IEEE
Semantic video indexing is the first step towards automatic video retrieval and personalization. We propose a data-driven stochastic modeling approach to perform both video segmen...
116
click to vote
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
This paper proposes the integration of semantic information drawn from a web application’s domain knowledge into all phases of the web usage mining process (preprocessing, patte...