• 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 worst-case execution time analysis of real-time systems. Traditional approaches ... introduce the notion of probabilistic hard real-time 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 decision-support systems, evidential and case-based 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]
  • Multi-core 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 BN-based 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 non-determinism, probabilistic branching, and hard real-time as well...
  • ProbReach

  • Referenced in 2 articles [sw20157]
  • ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems. We present ProbReach ... tool for verifying probabilistic reachability for stochastic hybrid systems, i.e., computing the probability that ... probability. Standard (non-probabilistic) reachability is undecidable even for linear hybrid systems. In ProbReach ... virtually any hybrid system. In ProbReach we have implemented a probabilistic version of delta-reachability...
  • 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, real-time 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...