Sciweavers

    3342 search results - page 49 / 669
    » Automating Abstract Interpretation
    Sort
    View
    IJCAI
    2003
    101views Artificial Intelligence» more  IJCAI 2003»
    Automated Qualitative Domain Abstraction
    15 years 8 days ago
    Automated Qualitative Domain Abstraction
    Download  people.csail.mit.edu
    Martin Sachenbacher, Peter Struss
    claim paper
    Read More »
    NIPS
    2000
    104views Information Technology» more  NIPS 2000»
    Automated State Abstraction for Options using the U-Tree Algorithm
    15 years 7 days ago
    Automated State Abstraction for Options using the U-Tree Algorithm
    Download  www.dtic.upf.edu
    Anders Jonsson, Andrew G. Barto
    claim paper
    Read More »
    88
    Voted
    CONSTRAINTS
    2008
    70views more  CONSTRAINTS 2008»
    Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling
    14 years 11 months ago
    Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling
    Download  www.crt.umontreal.ca
    Alan M. Frisch, Ian Miguel
    claim paper
    Read More »
    38
    Voted
    SMR
    2008
    81views more  SMR 2008»
    An automated approach for abstracting execution logs to execution events
    14 years 10 months ago
    An automated approach for abstracting execution logs to execution events
    Download  sail.cs.queensu.ca
    Zhen Ming Jiang, Ahmed E. Hassan, Gilbert Hamann, ...
    claim paper
    Read More »
    91
    Voted
    ICECCS
    2010
    IEEE
    135views Hardware» more  ICECCS 2010»
    Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction
    14 years 9 months ago
    Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction
    Download  groups.csail.mit.edu
    Shinya Umeno, Nancy A. Lynch
    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-2025, USA.