Sciweavers

    2062 search results - page 28 / 413
    » Derivatives of Logical Formulas
    Sort
    View
    PADL
    1999
    Springer
    130views Programming Languages» more  PADL 1999»
    Applying Logic Programming to Derive Novel Functional Information of Genomes
    15 years 9 months ago
    Applying Logic Programming to Derive Novel Functional Information of Genomes
    Download  www.cs.kent.edu
    Arvind K. Bansal, Peer Bork
    claim paper
    Read More »
    ECML
    1993
    Springer
    73views Machine Learning» more  ECML 1993»
    Inductive Logic Programming: Derivations, Successes and Shortcomings
    15 years 9 months ago
    Inductive Logic Programming: Derivations, Successes and Shortcomings
    Download  www.doc.ic.ac.uk
    Stephen Muggleton
    claim paper
    Read More »
    IFIP
    1994
    Springer
    106views Programming Languages» more  IFIP 1994»
    Deriving Partial Correctness Logics From Evolving Algebras
    15 years 9 months ago
    Deriving Partial Correctness Logics From Evolving Algebras
    Download  www.eecs.umich.edu
    Arnd Poetzsch-Heffter
    claim paper
    Read More »
    AMAST
    2010
    Springer
    202views Software Engineering» more  AMAST 2010»
    Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
    15 years 13 days ago
    Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
    Download  mpc2010.fsg.ulaval.ca
    Ekaterina Komendantskaya, Guy McCusker, John Power
    claim paper
    Read More »
    CIMCA
    2005
    IEEE
    126views Intelligent Agents» more  CIMCA 2005»
    Linear Response Formula in Generalized Belief Propagation for Probabilistic Inference
    15 years 11 months ago
    Linear Response Formula in Generalized Belief Propagation for Probabilistic Inference
    Download  www.smapip.is.tohoku.ac.jp
    Linear response formulas for the generalized belief propagation in approximate inference are derived by using generalized belief propagation. The linear response formulas can give...
    Kazuyuki Tanaka
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.