
ObservabilityTest
 Referenced in 20 articles
[sw36921]
 ordinary differential systems in polynomial time. Bibliographic reference (citing this package): A probabilistic algorithm ... following questions are often encountered in system and control theory. Given an algebraic model ... outputs invariant. We present a probabilistic seminumerical algorithm that proposes a solution to this problem ... variables and in the degree of the system. Last, we estimate the probability of success...

PicHunter
 Referenced in 53 articles
[sw14896]
 history of user selections contributes to the system’s estimate of the user’s goal ... PicHunter uses Bayesian learning based on a probabilistic model of a user’s behavior ... algorithm can easily be incorporated into systems which support complex queries, including most previously proposed...

MYSTIQ
 Referenced in 11 articles
[sw09439]
 using probabilities. MystiQ is a system that uses probabilistic query semantics [3] to find answers ... schema alignments needed by a query system are imperfect and noisy; different sources may contain...

INQUERY
 Referenced in 21 articles
[sw36122]
 describe a retrieval system (INQUERY) that is based on a probabilistic retrieval model and provides...

Rapture
 Referenced in 7 articles
[sw13409]
 properties over Markov decision processes (or probabilistic transition system). The originality of the tool...

Ymer
 Referenced in 16 articles
[sw09468]
 tool for verifying probabilistic transient properties of stochastic discrete event systems. Ymer implements both statistical ... sampling and statistical model checking of nested probabilistic statements...

pwcet
 Referenced in 8 articles
[sw14479]
 tool for probabilistic worstcase execution time analysis of realtime systems. Traditional approaches ... introduce the notion of probabilistic hard realtime system as a system which...

FRIL
 Referenced in 44 articles
[sw18490]
 permit the inclusion of uncertainties such as probabilistic knowledge and fuzzy incompleteness. Describes the application ... knowledge engineering including expert and decisionsupport systems, evidential and casebased reasoning, fuzzy control...

Hakaru
 Referenced in 4 articles
[sw14669]
 Probabilistic inference by program transformation in Hakaru (system ... description). We present Hakaru, a new probabilistic programming system that allows composable reuse of distributions...

Merlin
 Referenced in 5 articles
[sw23076]
 Morgan. We solve the resulting system of probabilistic constraints using factor graphs, which...

ProbDiVinE
 Referenced in 2 articles
[sw04134]
 Multicore LTL Model Checker for Probabilistic Systems We present a new version of ProbDiVinE ... parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike...

Hailfinder
 Referenced in 21 articles
[sw35867]
 intelligent systems. Hailfinder is the first such system to apply these Bayesian models ... basis of many past investigations of probabilistic forecasting. The design of Hailfinder provides a variety ... insights to designers of other BNbased systems, regardless of their fields of application...

PSQL
 Referenced in 8 articles
[sw02180]
 PSQL: A query language for probabilistic relational data. Database systems based on the relational model ... earlier work, we have proposed a probabilistic relational algebra that is a consistent extension...

MoDeST
 Referenced in 32 articles
[sw01544]
 exception handling  with means to describe complex systems in a compositional manner. In addition, MoDeST ... describe important phenomena such as nondeterminism, probabilistic branching, and hard realtime as well...

ProbReach
 Referenced in 2 articles
[sw20157]
 ProbReach: verified probabilistic deltareachability for stochastic hybrid systems. We present ProbReach ... tool for verifying probabilistic reachability for stochastic hybrid systems, i.e., computing the probability that ... probability. Standard (nonprobabilistic) reachability is undecidable even for linear hybrid systems. In ProbReach ... virtually any hybrid system. In ProbReach we have implemented a probabilistic version of deltareachability...

ABEL
 Referenced in 2 articles
[sw02787]
 exception is the framework of probabilistic argumentation systems. Its philosophy is to include both qualitative ... language that allows to describe probabilistic argumentation systems and corresponding queries about hypotheses. It then...

MonoSLAM
 Referenced in 40 articles
[sw18884]
 rapidly through a previously unknown scene. Our system, which we dub MonoSLAM, is the first ... persistent map of natural landmarks within a probabilistic framework. Our key novel contributions include ... This work extends the range of robotic systems in which SLAM can be usefully applied...

HyPER
 Referenced in 2 articles
[sw23917]
 flexible and extensible probabilistic framework for hybrid recommender systems. As the amount of recorded digital ... extensible hybrid recommender system. Our hybrid approach, HyPER (HYbrid Probabilistic Extensible Recommender), incorporates and reasons ... predictions. We build our system using a powerful and intuitive probabilistic programming language called probabilistic...

PAT
 Referenced in 35 articles
[sw13258]
 simulating and reasoning of concurrent, realtime systems and other possible domains. It comes with ... properties with fairness assumptions, refinement checking and probabilistic model checking. To achieve good performance, advanced...

FluCaP
 Referenced in 11 articles
[sw07748]
 with a system, referred to as FluCaP (formerly, FCPlanner), that entered the probabilistic track...