Sciweavers

595 search results - page 10 / 119
» Predictive State Representations with State Space Partitioni...
Sort
View
APN
2004
Springer
15 years 3 months ago
Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation
Abstract. In this paper, we define Time Petri Nets with Inhibitor Hyperarcs (IHTPN) as an extension of T-time Petri nets where time is associated with transitions. In this model, ...
Olivier H. Roux, Didier Lime
CHARME
2005
Springer
106views Hardware» more  CHARME 2005»
15 years 3 months ago
Error Detection Using BMC in a Parallel Environment
In this paper, we explore a parallelization of BMC based on state space partitioning. The parallelization is accomplished by executing multiple instances of BMC independently from ...
Subramanian K. Iyer, Jawahar Jain, Mukul R. Prasad...
FASE
2005
Springer
15 years 3 months ago
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
Ralf Reussner, Jens Happe, Annegret Habel
NECO
2002
104views more  NECO 2002»
14 years 10 months ago
An Unsupervised Ensemble Learning Method for Nonlinear Dynamic State-Space Models
A Bayesian ensemble learning method is introduced for unsupervised extraction of dynamic processes from noisy data. The data are assumed to be generated by an unknown nonlinear ma...
Harri Valpola, Juha Karhunen
COSIT
2003
Springer
115views GIS» more  COSIT 2003»
15 years 3 months ago
Structuring a Wayfinder's Dynamic Space-Time Environment
To travel successfully in a dynamic space-time setting, wayfinders must project the impact of a changing environment onto future travel choices. When making decisions, however, peo...
Michael D. Hendricks, Max J. Egenhofer, Kathleen H...