Results 11 to 20 of about 15,697,207 (237)
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
Probabilistic retrieval models - relationships, context-specific application, selection and implementation [PDF]
, 2011 PhDRetrieval models are the core components of information retrieval systems, which guide the document and query representations, as well as the document ranking schemes.
Wang, Jun
core +4 more sources
Probabilistic learning for selective dissemination of information [PDF]
, 1999 New methods and new systems are needed to filter or to selectively distribute the increasing volume of electronic information being produced nowadays. An effective information filtering system is one that provides the exact information that fulfills user'
Crestani, F., Amati, G.
core +4 more sources
A survey on the use of relevance feedback for information access systems [PDF]
, 2003 Users of online search engines often find it difficult to express their need for information in the form of a query. However, if the user can identify examples of the kind of documents they require then they can employ a technique known as relevance ...
Ruthven, Ian, Lalmas, Mounia
core +3 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
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
Modeling the Evolution of Beliefs Using an Attentional Focus Mechanism.
PLoS Computational Biology, 2015 For making decisions in everyday life we often have first to infer the set of environmental features that are relevant for the current task. Here we investigated the computational mechanisms underlying the evolution of beliefs about the relevance of ...
Dimitrije Marković +4 more
doaj +1 more source
Atmosphere, 2023 Wind speed forecasting is advantageous in reducing wind-induced accidents or disasters and increasing the capture of wind power. Accordingly, this forecasting process has been a focus of research in the field of engineering.
Xuhui He +3 more
doaj +1 more source
Model checking probabilistic and stochastic extensions of the pi-calculus [PDF]
, 2009 We present an implementation of model checking for probabilistic and stochastic extensions of the pi-calculus, a process algebra which supports modelling of concurrency and mobility.
Parker, D. +7 more
core +1 more source
Probabilistic models of information retrieval based on measuring the divergence from randomness [PDF]
, 2002 We introduce and create a framework for deriving probabilistic models of Information Retrieval. The models are nonparametric models of IR obtained in the language model approach.
Van Rijsbergen, C.J., Amati, G.
core +1 more source