
ProbView
 Referenced in 27 articles
[sw09438]
 mathematically the best understood paradigm for modeling and manipulating uncertain information. Probabilities of complex events ... among the events involved. Previous work on probabilistic databases has assumed a fixed and restrictivecombination ... theory. (1) We propose a probabilistic relational data model and a genericprobabilistic relational algebra that ... queries in the positive fragment of the probabilistic relational algebra have essentially the same data...

VESTA
 Referenced in 25 articles
[sw08425]
 statistical analysis of probabilistic systems. It supports statistical modelchecking [6, 7] and statistical evaluation ... temporal expressions. For modelchecking VESTA uses a sequence of interrelated statistical hypothesis testing ... check if a property speciﬁed in probabilistic computation tree logic (PCTL) [3] or continuous stochastic ... logic (CSL) is satisﬁed by a stochastic model. Furthermore, VESTA supports the statistical computation...

PSQL
 Referenced in 8 articles
[sw02180]
 language for probabilistic relational data. Database systems based on the relational model have become very ... need to extend the relational model so that data uncertainty can be captured explicitly ... earlier work, we have proposed a probabilistic relational algebra that is a consistent extension...

aGrUM
 Referenced in 2 articles
[sw38230]
 Bayesian Networks, Influence Diagrams, Credal Networks, Probabilistic Relational Models. This is the result...

ProTDB
 Referenced in 20 articles
[sw13843]
 relational systems in that we build a probabilistic XML database. This design is driven ... readily amenable to a relational representation. XML data poses several modeling challenges ... repeated subelements. We present a probabilistic XML model that addresses all of these challenges...

AdequacyModel
 Referenced in 13 articles
[sw15282]
 probabilistic models through a combination of several statistics, which measure the relative quality of statistical...

Primula
 Referenced in 2 articles
[sw13967]
 system is a tool for probabilistic modelling of relational structures. It is a Javaimplementation...

MCINTYRE
 Referenced in 8 articles
[sw22925]
 ability to model domains with complex and uncertain relations among entities. In this paper ... problem of approximate inference in probabilistic logic programming languages based on the distribution semantics ... normal program sampled from the probabilistic program. The ProbLog system includes such an algorithm ... program transformation that translates a probabilistic program into a normal program to which the query...

PTSC
 Referenced in 6 articles
[sw13692]
 nondeterministic choice, probabilistic guarded choice and a probabilistic version of parallel composition. We formalize ... this model we define a bisimulation relation, from which an observational equivalence between probabilistic programs...

Pfold
 Referenced in 12 articles
[sw23813]
 secondary structure that is especially useful when related sequences can be obtained. The method improves ... based on an explicit evolutionary model and a probabilistic model of structures. Predictions...

Alchemy
 Referenced in 11 articles
[sw16040]
 series of algorithms for statistical relational learning and probabilistic logic inference, based on the Markov ... classification; Link prediction; Entity resolution; Social network modeling; Information extraction...

FactorBase
 Referenced in 7 articles
[sw38928]
 Learning Graphical Models for Relational Data via Lattice Search”). Input: A relational schema hosted ... server. Output: A Bayesian network that shows probabilistic dependencies between the relationships and attributes represented...

OrientedSwaps
 Referenced in 2 articles
[sw35044]
 percolation”: We present new combinatorial and probabilistic identities relating three random processes: the oriented swap ... last passage percolation model. We prove one of the probabilistic identities, relating a random vector...

HMMER
 Referenced in 19 articles
[sw10514]
 suite for protein sequence similarity searches using probabilistic methods. Previously, HMMER has mainly been available ... relative to previous versions. It is now feasible to make efficient profile hidden Markov model...

HyperLogLog
 Referenced in 22 articles
[sw02063]
 abstract describes and analyses a nearoptimal probabilistic algorithm, HyperLogLog, dedicated to estimating the number ... estimate of the cardinality such that the relative accuracy (the standard error) is typically about ... optimally and adapts to the sliding window model...

DeepAR
 Referenced in 6 articles
[sw38790]
 producing accurate probabilistic forecasts, based on training an auto regressive recurrent network model ... large number of related time series. We demonstrate how by applying deep learning techniques...

FACTORIE
 Referenced in 13 articles
[sw08947]
 Factorie: Probabilistic programming via imperatively defined factor graphs. Discriminatively trained undirected graphical models have ... toolkits that ease their application to complex relational data. The power in relational models...

Rose
 Referenced in 8 articles
[sw16613]
 Rose implements a new probabilistic model of the evolution of RNA, DNA, or proteinlike ... evolutionary tree, a family of related sequences is created from a common ancestor sequence...

QCAPro
 Referenced in 12 articles
[sw22782]
 this work we present a novel probabilistic modeling tool (QCAPro) to estimate polarization error ... study polarization error and power dissipation related issues in QCA circuits...

PDMats.jl
 Referenced in 1 article
[sw37222]
 machine learning and probabilistic modeling, especially in applications related to graph analysis and Gaussian models...