Sciweavers

1855 search results - page 48 / 371
» Probabilistic Frame-Based Systems
Sort
View
CORR
2010
Springer
68views Education» more  CORR 2010»
14 years 7 months ago
Confluence Reduction for Probabilistic Systems (extended version)
Mark Timmer, Mariëlle Stoelinga, Jaco van de ...
ICFEM
2010
Springer
14 years 7 months ago
Model Checking Hierarchical Probabilistic Systems
Jun Sun 0001, Songzheng Song, Yang Liu 0003
BMCBI
2010
125views more  BMCBI 2010»
14 years 4 months ago
ProbFAST: Probabilistic Functional Analysis System Tool
Background: The post-genomic era has brought new challenges regarding the understanding of the organization and function of the human genome. Many of these challenges are centered...
Israel T. da Silva, Ricardo Z. N. Vêncio, Th...
ENTCS
1998
115views more  ENTCS 1998»
14 years 9 months ago
A Testing Equivalence for Reactive Probabilistic Processes
We consider a generalisation of Larsen and Skou’s [19] reactive probabilistic transition systems which exhibit three kinds of choice: action-guarded probabilistic choice, extern...
Marta Z. Kwiatkowska, Gethin Norman
ICDE
2009
IEEE
178views Database» more  ICDE 2009»
14 years 7 months ago
Efficient Query Evaluation over Temporally Correlated Probabilistic Streams
Many real world applications such as sensor networks and other monitoring applications naturally generate probabilistic streams that are highly correlated in both time and space. ...
Bhargav Kanagal, Amol Deshpande