• Expokit

  • Referenced in 173 articles [sw00258]
  • computed solution is subject to probabilistic constraints. In addition to addressing general matrix exponentials...
  • Merlin

  • Referenced in 3 articles [sw23076]
  • paths in the propagation graph using probabilistic constraints. A naive modeling requires an exponential number ... cubic number of constraints. We characterize this approximation as a probabilistic abstraction, using the theory ... solve the resulting system of probabilistic constraints using factor graphs, which are a well-known...
  • BLOG

  • Referenced in 39 articles [sw22025]
  • BLOG: probabilistic models with unknown objects. This paper introduces and illustrates BLOG, a formal language ... several existing approaches. Subject to certain acyclicity constraints, every BLOG model specifies a unique probability ... language. We also introduce a probabilistic form of Skolemization for handling evidence...
  • miniKanren

  • Referenced in 6 articles [sw20082]
  • modified and extended; extensions include Constraint Logic Programming, probabilistic logic programming, nominal logic programming...
  • MiniBrass

  • Referenced in 1 article [sw31298]
  • proposed, such as weighted, fuzzy, or probabilistic constraints. All of them were shown...
  • PicHunter

  • Referenced in 53 articles [sw14896]
  • PicHunter uses Bayesian learning based on a probabilistic model of a user’s behavior ... previously proposed systems. However, even with this constraint and simple image features, PicHunter is able...
  • MC2

  • Referenced in 5 articles [sw12883]
  • properties written in Probabilistic Linear-time Temporal Logic with numerical constraints (PLTLc). The model checker ... property. MC2(PLTLc) can also calculate the probabilistic domains of free variables within a property...
  • Figaro

  • Referenced in 9 articles [sw28902]
  • introduce an object-oriented paradigm for probabilistic programming, embodied in the Figaro language. Models ... have properties such as conditions, constraints and relationships to other objects. Figaro model classes...
  • Ntccrt

  • Referenced in 2 articles [sw33008]
  • deterministic Timed Concurrent Constraint (ntcc) calculus and its probabilistic extension (pntcc). It allows to execute...
  • TerpreT

  • Referenced in 2 articles [sw29483]
  • TerpreT: A Probabilistic Programming Language for Program Induction. We study machine learning formulations of inductive ... traditional alternatives, such as those based on constraint solving from the programming languages community ... synthesis problems. TerpreT is similar to a probabilistic programming language: a model is composed ... algorithms. Our key empirical finding is that constraint solvers dominate the gradient descent...
  • MYSTIQ

  • Referenced in 11 articles [sw09439]
  • probabilities. MystiQ is a system that uses probabilistic query semantics [3] to find answers ... combined data may violate some global integrity constraints; fuzzy matches between objects from different sources...
  • KOMET

  • Referenced in 4 articles [sw21352]
  • various common types of reasoning, such as probabilistic, fuzzy, paraconsistent and certain types of temporal ... embedding of external knowledge sources as constraint domains, our mediation language offers a rich framework...
  • FPDclustering

  • Referenced in 2 articles [sw15462]
  • clustering) is an iterative, distribution free, probabilistic clustering method. PD-clustering assigns units ... their probability of membership, under the constraint that the product of the probability...
  • NeVer

  • Referenced in 2 articles [sw06592]
  • possible misbehaviors with traditional analytical or probabilistic techniques. In this paper we present {sc NeVer ... satisfying corresponding Boolean combinations of linear arithmetic constraints. We describe the main verification algorithm...
  • Varun

  • Referenced in 4 articles [sw13191]
  • VARUN: Discovering Extensible Motifs under Saturation Constraints. The discovery of motifs in biosequences is frequently ... appropriate saturation conditions and the monotonicity of probabilistic scores over regions of constant frequency afford ... obtained in the absence of saturation constraints...
  • multinomineq

  • Referenced in 1 article [sw30777]
  • Multinomial models with linear inequality constraints: Overview and improvements of computational methods for Bayesian inference ... information processing to decisions: Formalizing and comparing probabilistic choice models. Cognitive Psychology...
  • WSTRESS

  • Referenced in 1 article [sw13922]
  • crack-tip fracture parameters based upon probabilistic fracture mechanics. WSTRESS calculates the Weibull stress ... application for analyzing the effects of constraint loss and ductile tearing on macroscopic measures...
  • Autoepigraph

  • Referenced in 1 article [sw33594]
  • Epistemic graphs are a recent proposal for probabilistic argumentation that allows for modelling an agent ... affect each other is represented by logical constraints on these distributions. Within the full language...
  • foxPSL

  • Referenced in 2 articles [sw13725]
  • seen as both a probabilistic logic and a template language for hinge-loss Markov Random ... configurable optimizations, like optimized grounding of constraints and lazy inference, that improve grounding and inference...
  • ANSYS

  • Referenced in 654 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...