Sciweavers

    3856 search results - page 101 / 772
    » Models for Automated Earthmoving
    Sort
    View
    DAC
    2003
    ACM
    123views Computer Architecture» more  DAC 2003»
    SAT-based unbounded symbolic model checking
    16 years 5 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
    16 years 5 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 »
    PROCEDIA
    2010
    85views more  PROCEDIA 2010»
    Toward interactive statistical modeling
    15 years 3 months ago
    Toward interactive statistical modeling
    Download  vuduc.org
    When solving machine learning problems, there is currently little automated support for easily experimenting with alternative statistical models or solution strategies. This is be...
    Sooraj Bhat, Ashish Agarwal, Alexander Gray, Richa...
    claim paper
    Read More »
    DAC
    1999
    ACM
    128views Computer Architecture» more  DAC 1999»
    Symbolic Model Checking Using SAT Procedures instead of BDDs
    16 years 5 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 »
    DAC
    1999
    ACM
    138views Computer Architecture» more  DAC 1999»
    Robust Rational Function Approximation Algorithm for Model Generation
    16 years 5 months ago
    Robust Rational Function Approximation Algorithm for Model Generation
    Download  web.mit.edu
    Carlos P. Coelho, Joel R. Phillips, Luis Miguel Si...
    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.