Sciweavers

    14649 search results - page 2880 / 2930
    » Principles of problem solving
    Sort
    View
    FORTE
    1994
    132views Formal Methods» more  FORTE 1994»
    An improvement in formal verification
    13 years 10 months ago
    An improvement in formal verification
    Download  spinroot.com
    Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
    Gerard J. Holzmann, Doron Peled
    claim paper
    Read More »
    NIPS
    1993
    134views Information Technology» more  NIPS 1993»
    Using Local Trajectory Optimizers to Speed Up Global Optimization in Dynamic Programming
    13 years 10 months ago
    Using Local Trajectory Optimizers to Speed Up Global Optimization in Dynamic Programming
    Download  www.cs.cmu.edu
    Dynamic programming provides a methodology to develop planners and controllers for nonlinear systems. However, general dynamic programming is computationally intractable. We have ...
    Christopher G. Atkeson
    claim paper
    Read More »
    OSDI
    1996
    ACM
    148views Operating System» more  OSDI 1996»
    Automatic Compiler-Inserted I/O Prefetching for Out-of-Core Applications
    13 years 10 months ago
    Automatic Compiler-Inserted I/O Prefetching for Out-of-Core Applications
    Download  www.cs.cmu.edu
    Current operating systems offer poor performance when a numeric application's working set does not fit in main memory. As a result, programmers who wish to solve "out-of...
    Todd C. Mowry, Angela K. Demke, Orran Krieger
    claim paper
    Read More »
    WEBNET
    1996
    135views Internet Technology» more  WEBNET 1996»
    Digital Libraries Based on Full-Text Retrieval
    13 years 10 months ago
    Digital Libraries Based on Full-Text Retrieval
    Download  www.cs.waikato.ac.nz
    : Because digital libraries are expensive to create and maintain, Internet analogs of public libraries--reliable, quality, community services--have only recently begun to appear. A...
    Ian H. Witten, Craig G. Nevill-Manning, Sally Jo C...
    claim paper
    Read More »
    IJCAI
    1989
    98views Artificial Intelligence» more  IJCAI 1989»
    And-Or Graphs Applied to RUE Resolution
    13 years 10 months ago
    And-Or Graphs Applied to RUE Resolution
    Download  dli.iiit.ac.in
    In equality-based binary r e s o l u t i o n , the v i a b i l i t y t e s t is used as a decision mechanism to select disagreement sets and also to define the RUE u n i f i e r ....
    Vincent J. Digricoli, James J. Lu, V. S. Subrahman...
    claim paper
    Read More »
    « Prev « First page 2880 / 2930 Last » Next »
    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.