Sciweavers

595 search results - page 10 / 119
» Predictive State Representations with State Space Partitioni...
Sort
View
205
Voted
APN
2004
Springer
16 years 25 days 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
162
Voted
CHARME
2005
Springer
106views Hardware» more  CHARME 2005»
16 years 29 days 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
16 years 28 days 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»
15 years 7 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
217
Voted
COSIT
2003
Springer
115views GIS» more  COSIT 2003»
16 years 19 days 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...