
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 wellknown...

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 Lineartime 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 objectoriented 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. PDclustering 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]
 cracktip 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 hingeloss 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...