• Expokit

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

  • Referenced in 2 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 36 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 5 articles [sw20082]
  • modified and extended; extensions include Constraint Logic Programming, probabilistic logic programming, nominal logic programming...
  • 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...
  • 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...
  • 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...
  • 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...
  • FPDclustering

  • Referenced in 0 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...
  • 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 569 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • AXIOM

  • Referenced in 163 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • BARON

  • Referenced in 265 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Cinderella

  • Referenced in 132 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • CLPS-B

  • Referenced in 6 articles [sw00132]
  • This paper proposes an approach to the evaluation...