Sciweavers

    8828 search results - page 92 / 1766
    » Formal methods in practice
    Sort
    View
    IJCM
    2008
    45views more  IJCM 2008»
    Practical implementation of an interior point nonmonotone line search filter method
    15 years 6 months ago
    Practical implementation of an interior point nonmonotone line search filter method
    Download  www.norg.uminho.pt
    M. Fernanda P. Costa, Edite M. G. P. Fernandes
    claim paper
    Read More »
    IEICET
    2006
    37views more  IEICET 2006»
    A Practical Method of Numerical Calculation of the Mapping Degree
    15 years 6 months ago
    A Practical Method of Numerical Calculation of the Mapping Degree
    Download  cs.nyu.edu
    Sunao Murashige
    claim paper
    Read More »
    ICINCO
    2010
    177views Robotics» more  ICINCO 2010»
    A Practical Method for Self-adapting Gaussian Expectation Maximization
    15 years 3 months ago
    A Practical Method for Self-adapting Gaussian Expectation Maximization
    Download  nicolagreggio.altervista.org
    Nicola Greggio, Alexandre Bernardino, José ...
    claim paper
    Read More »
    JBI
    2011
    224views Bioinformatics» more  JBI 2011»
    A practical method for transforming free-text eligibility criteria into computable criteria
    15 years 1 months ago
    A practical method for transforming free-text eligibility criteria into computable criteria
    Download  stanford.edu
    Samson W. Tu, Mor Peleg, Simona Carini, Michael Bo...
    claim paper
    Read More »
    IJCAI
    2003
    132views Artificial Intelligence» more  IJCAI 2003»
    Backdoors To Typical Case Complexity
    15 years 7 months ago
    Backdoors To Typical Case Complexity
    Download  www.cs.cmu.edu
    There has been significant recent progress in reasoning and constraint processing methods. In areas such as planning and finite model-checking, current solution techniques can h...
    Ryan Williams, Carla P. Gomes, Bart Selman
    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.