Results 11 to 20 of about 14,817,250 (289)
Probabilistic model checking of complex biological pathways [PDF]
, 2006 Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including security and communication protocols, distributed algorithms and power management.
Heath, J. +4 more
core +6 more sources
Analysis of probabilistic contract signing [PDF]
, 2006 <p>We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols.
Shmatikov, V., Norman, G.
core +5 more sources
The probabilistic model checker Storm [PDF]
International Journal on Software Tools for Technology Transfer, 2021 AbstractWe present the probabilistic model checker Storm. Storm supports the analysis of discrete- and continuous-time variants of both Markov chains and Markov decision processes. Storm has three major distinguishing features. It supports multiple input languages for Markov models, including the Jani and Prism modeling languages, dynamic fault trees ...
Hensel, Hans Christian +4 more
openaire +3 more sources
Probabilistic Topic Models [PDF]
IEEE Signal Processing Magazine, 2010 In this article, we review probabilistic topic models: graphical models that can be used to summarize a large collection of documents with a smaller number of distributions over words. Those distributions are called "topics" because, when fit to data, they capture the salient themes that run through the collection.
David M. Blei +2 more
openaire +1 more source
Probabilistic dialogue modelling [PDF]
Proceedings of the 3rd SIGdial workshop on Discourse and dialogue -, 2002 We show how Bayesian networks and related probabilistic methods provide an efficient way of capturing the complex balancing of different factors that determine interpretation and generation in dialogue. As a case study, we show how a probabilistic approach can be used to model anaphora resolution in dialogue.
Oliver Lemon +2 more
openaire +2 more sources
Assume-guarantee verification for probabilistic systems [PDF]
, 2010 We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume- guarantee approach to verification, where both the assumptions made about system components and the ...
Kwiatkowska, M. +3 more
core +4 more sources
A probabilistic model for LCF [PDF]
Computational Materials Science, 2013 20 pages, 6 ...
Schmitz, Sebastian +5 more
openaire +3 more sources
Photo Semantic Understanding and Retargeting by a Noise-Robust Regularized Topic Model
IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, 2023 Retargeting aims at displaying a photo with an arbitrary aspect ratio, wherein the visually/semantically prominent objects are appropriately preserved and visual distortions can be well alleviated.
Guifeng Wang +3 more
doaj +1 more source
Fermentation, 2022 Fusarium species can cause head blight of cereals worldwide. This is accompanied by impacts on yield and contamination of grains with mycotoxins.
Esther Garcia-Cela +4 more
doaj +1 more source
Probabilistic Index Models [PDF]
Journal of the Royal Statistical Society Series B: Statistical Methodology, 2012 SummaryWe present a semiparametric statistical model for the probabilistic index which can be defined as P(Y⩽Y*), where Y and Y* are independent random response variables associated with covariate patterns X and X* respectively. A link function defines the relationship between the probabilistic index and a linear predictor.
Thas, Olivier +3 more
openaire +4 more sources