Unit propagation

Results: 62



#Item
1Probability and statistics / Statistical theory / Statistics / Graphical models / Bayesian statistics / Market research / Market segmentation / Machine learning / Factor graph / Belief propagation / Variational Bayesian methods / Mixture model

Learning to Pass Expectation Propagation Messages Nicolas Heess∗ Gatsby Unit, UCL Daniel Tarlow Microsoft Research

Add to Reading List

Source URL: papers.nips.cc

Language: English - Date: 2014-11-25 16:15:37
2

”Total Monte Carlo” Uncertainty propagation applied to the Phase II-2 burnup calculation (A report for the Assembly Physics of TMI-1 PWR unit cell of the OECD/UAM working group) D. Rochman and C.M. Sciolla

Add to Reading List

Source URL: tendl.web.psi.ch

Language: English - Date: 2015-11-03 05:28:26
    3Electronic engineering / Computing / Engineering / Electronic design automation / Microprocessors / Central processing unit / Digital electronics / Electronic design / Adder / Propagation delay / Standard cell / Static timing analysis

    Proc. Asia South Pacific Design Automation Conf. (ASP-DAC), Shanghai, China, vol. 1, Jan. 2005, pp. I/2-I/7. Opportunities and Challenges for Better Than Worst-Case Design Todd Austin, Valeria Bertacco, David Blaauw, an

    Add to Reading List

    Source URL: web.eecs.umich.edu

    Language: English - Date: 2016-04-03 10:58:13
    4Logic / Mathematical logic / Mathematics / Propositional calculus / Automated theorem proving / Boolean algebra / Syntax / Boolean satisfiability problem / Clause / Valuation / Propositional variable / Unit propagation

    Microsoft PowerPoint - perspCompatibility Mode]

    Add to Reading List

    Source URL: resources.mpi-inf.mpg.de

    Language: English - Date: 2012-12-18 03:41:56
    5Theoretical computer science / Logic in computer science / Combinatorial optimization / Maximum satisfiability problem / Unit propagation / Constraint programming / Mathematics / Mathematical logic

    Sequential Encodings from Max-CSP into Partial Max-SAT⋆ Josep Argelich1 , Alba Cabiscol2 , Inˆes Lynce3 , and Felip Many`a4 1 2

    Add to Reading List

    Source URL: www.mancoosi.org

    Language: English - Date: 2012-12-16 04:54:55
    6Mathematical logic / Logic / Theoretical computer science / Automated theorem proving / Formal methods / Logic in computer science / Electronic design automation / Craig interpolation / Interpolation / Satisfiability modulo theories / Unit propagation / Resolution

    Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson

    Add to Reading List

    Source URL: www.cse.chalmers.se

    Language: English - Date: 2015-03-16 05:12:39
    7Automated theorem proving / Logic in computer science / Boolean algebra / Electronic design automation / Formal methods / Craig interpolation / Boolean satisfiability problem / Unit propagation / Resolution / Interpolation / Propositional calculus / Satisfiability modulo theories

    On interpolation in decision procedures⋆ Maria Paola Bonacina and Moa Johansson Dipartimento di Informatica, Universit` a degli Studi di Verona Strada Le Grazie 15, IVerona, Italy

    Add to Reading List

    Source URL: www.cse.chalmers.se

    Language: English - Date: 2012-03-21 07:54:00
    8Automated 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

    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
    9Statistics / Probability / Mathematical analysis / Machine learning / Hilbert space / Graphical models / Probability theory / Belief propagation / Coding theory / Positive-definite kernel / Mixture model / Normal distribution

    Kernel Belief Propagation 1 Le Song,1 Arthur Gretton,1,2 Danny Bickson,1 Yucheng Low,1 Carlos Guestrin1 School of Computer Science, CMU; 2 Gatsby Computational Neuroscience Unit & MPI for Biological Cybernetics

    Add to Reading List

    Source URL: select.cs.cmu.edu

    Language: English - Date: 2011-07-19 21:41:57
    UPDATE