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

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

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

FPDclustering
 Referenced in 0 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...

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

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