Constraint inference - PDFSEARCH.IO - Document Search Engine

Constraint inference
Results: 52

#	Item
1	Scaling MPE Inference for Constrained Continuous Markov Random Fields with Consensus Optimization: Supplementary Material A Add to Reading List Source URL: psl.umiacs.umd.edu Language: English - Date: 2013-06-14 19:26:47 Mathematical optimization Mathematical analysis Numerical analysis Second-order cone programming Slack variable Interior point method Constraint Duality Convex cone
2	System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic Konstantin Korovin? The University of Manchester School of Computer Science Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2008-10-30 19:06:51 Automated theorem proving Logic in computer science Constraint programming Logic programming Rules of inference Resolution Boolean satisfiability problem Clause Small clause Reasoning system English relative clauses Unit propagation
3	Introduction A First Approach The Road Ahead Mutual Constraint in Bayesian Learning of Word Reference and Word Meaning Add to Reading List Source URL: www.luke.maurits.id.au Language: English - Date: 2016-04-23 00:08:24 Educational psychology Bayesian inference Statistical forecasting Statistical inference Statistical theory Educational technology Learning
4	Tuning Approximate Computations with Constraint-Based Type Inference Brett Boston Adrian Sampson Add to Reading List Source URL: sampa.cs.washington.edu Language: English - Date: 2014-02-24 13:22:37
5	Refinement Type Inference via Horn Constraint Optimization Kodai Hashimoto and Hiroshi Unno (University of Tsukuba, Japan) Our Goal: Path-‐Sensitive Prog Add to Reading List Source URL: www.cs.tsukuba.ac.jp Language: English - Date: 2015-09-16 11:36:26
6	Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS ∗ Feng Niu Add to Reading List Source URL: www.cs.stanford.edu Language: English - Date: 2013-07-22 00:25:35 Constraint programming Automated theorem proving Theoretical computer science Mathematics Mathematical logic Markov logic network WalkSAT Graph partition Nibbles Local search Resolution Alchemy
7	PDF Document Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English C Data types Pointer Struct Const Typedef Mathematical optimization ALGOL 68 Constraint inference Constraint satisfaction
8	Introduction Score-based methods Bayesian analysis Constraint-based methods Summary and challenges Things I did not even get near Add to Reading List Source URL: www.stats.ox.ac.uk Language: English - Date: 2012-07-14 12:07:29 Statistical theory Statistical methods Regression analysis Bayesian inference Estimation theory Software development effort estimation Statistics Statistical inference Econometrics
9	Scala to the Power of Z3 Integrating SMT and Programming Ali Sinan K¨ oksal, Viktor Kuncak, and Philippe Suter⋆ ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:27 Type theory Data types Functional programming Constraint programming Electronic design automation Satisfiability Modulo Theories Z3 Scala Type inference Computing Software engineering Computer programming
10	The ROOTS Constraint Christian Bessiere1 , Emmanuel Hebrard2 , Brahim Hnich3 , Zeynep Kiziltan4 , and Toby Walsh5 1 3 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:29 Constraint satisfaction Decomposition method Constraint inference Constraint programming Local consistency Constraint satisfaction problem