Sciweavers

    2794 search results - page 17 / 559
    » A New Architecture for Automated Modelling
    Sort
    View
    CORR
    2012
    Springer
    214views Education» more  CORR 2012»
    Sum-Product Networks: A New Deep Architecture
    12 years 3 months ago
    Sum-Product Networks: A New Deep Architecture
    Download  deeplearningworkshopnips2010.files.wordpress.com
    The key limiting factor in graphical model inference and learning is the complexity of the partition function. We thus ask the question: what are the most general conditions under...
    Hoifung Poon, Pedro Domingos
    claim paper
    Read More »
    EPS
    1995
    Springer
    99views Artificial Intelligence» more  EPS 1995»
    Evolving the Architecture of a Multi-part Program in Genetic Programming Using Architecture-Altering Operations
    13 years 11 months ago
    Evolving the Architecture of a Multi-part Program in Genetic Programming Using Architecture-Altering Operations
    Download  www.genetic-programming.com
    : This paper describes six new architecture-altering operations that provide a way to dynamically determine the architecture of a multipart program during a run of genetic programm...
    John R. Koza
    claim paper
    Read More »
    DAC
    2003
    ACM
    123views Computer Architecture» more  DAC 2003»
    SAT-based unbounded symbolic model checking
    14 years 8 months ago
    SAT-based unbounded symbolic model checking
    Download  ics.kaist.ac.kr
    Hyeong-Ju Kang, In-Cheol Park
    claim paper
    Read More »
    DAC
    2004
    ACM
    103views Computer Architecture» more  DAC 2004»
    Floorplanning optimization with trajectory piecewise-linear model for pipelined interconnects
    14 years 8 months ago
    Floorplanning optimization with trajectory piecewise-linear model for pipelined interconnects
    Download  eda.ee.ucla.edu
    Changbo Long, Lucanus J. Simonson, Weiping Liao, L...
    claim paper
    Read More »
    DAC
    1999
    ACM
    128views Computer Architecture» more  DAC 1999»
    Symbolic Model Checking Using SAT Procedures instead of BDDs
    14 years 8 months ago
    Symbolic Model Checking Using SAT Procedures instead of BDDs
    Download  reports-archive.adm.cs.cmu.edu
    Armin Biere, Alessandro Cimatti, Edmund M. Clarke,...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.