Sciweavers

    1140 search results - page 10 / 228
    » Progress on Certifying Algorithms
    Sort
    View
    125
    Voted
    ECSQARU
    2001
    Springer
    118views Automated Reasoning» more  ECSQARU 2001»
    Space-Progressive Value Iteration: An Anytime Algorithm for a Class of POMDPs
    15 years 7 months ago
    Space-Progressive Value Iteration: An Anytime Algorithm for a Class of POMDPs
    Download  www.cs.ust.hk
    Abstract. Finding optimal policies for general partially observable Markov decision processes (POMDPs) is computationally difficult primarily due to the need to perform dynamic-pr...
    Nevin Lianwen Zhang, Weihong Zhang
    claim paper
    Read More »
    KR
    2004
    Springer
    93views Automated Reasoning» more  KR 2004»
    Precondition Control and the Progression Algorithm
    15 years 7 months ago
    Precondition Control and the Progression Algorithm
    Download  www.aaai.org
    Alfredo Gabaldon
    claim paper
    Read More »
    CACM
    2010
    64views more  CACM 2010»
    Recent progress in quantum algorithms
    15 years 2 months ago
    Recent progress in quantum algorithms
    Download  lazowska.cs.washington.edu
    Dave Bacon, Wim van Dam
    claim paper
    Read More »
    CGF
    2004
    82views more  CGF 2004»
    A Progressive Rendering Algorithm Using an Adaptive Perceptually Based Image Metric
    15 years 2 months ago
    A Progressive Rendering Algorithm Using an Adaptive Perceptually Based Image Metric
    Download  liris.cnrs.fr
    Jean-Philippe Farrugia, Bernard Péroche
    claim paper
    Read More »
    98
    Voted
    INFORMS
    2000
    91views more  INFORMS 2000»
    Progress in Linear Programming-Based Algorithms for Integer Programming: An Exposition
    15 years 2 months ago
    Progress in Linear Programming-Based Algorithms for Integer Programming: An Exposition
    Download  www.engr.pitt.edu
    Ellis L. Johnson, George L. Nemhauser, Martin W. P...
    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-2026, USA.