Sciweavers

1866 search results - page 2 / 374
» Flexibly Interleaving Processes
Sort
View
COLT
2004
Springer
13 years 11 months ago
Inferring Mixtures of Markov Chains
We define the problem of inferring a “mixture of Markov chains” based on observing a stream of interleaved outputs from these chains. We show a sharp characterization of the i...
Tugkan Batu, Sudipto Guha, Sampath Kannan
ICML
2008
IEEE
14 years 6 months ago
Modeling interleaved hidden processes
Hidden Markov models assume that observations in time series data stem from some hidden process that can be compactly represented as a Markov chain. We generalize this model by as...
Niels Landwehr
LICS
2000
IEEE
13 years 10 months ago
Models for Name-Passing Processes: Interleaving and Causal
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
Gian Luca Cattani, Peter Sewell
CONCUR
1993
Springer
13 years 10 months ago
Non Interleaving Process Algebra
Jos C. M. Baeten, Jan A. Bergstra
AAAI
2004
13 years 7 months ago
Interleaving Temporal Planning and Execution in Robotics Domains
Many autonomous systems such as mobile robots, UAVs or spacecraft, have limited resource capacities and move in dynamic environments. Performing on-board mission planning and exec...
Solange Lemai, Félix Ingrand