Sciweavers

    31387 search results - page 340 / 6278
    » Abstracting abstract machines
    Sort
    View
    JSW
    2008
    91views more  JSW 2008»
    Cohesion, Coupling and Abstraction Level: Criteria for Capability Identification
    15 years 6 months ago
    Cohesion, Coupling and Abstraction Level: Criteria for Capability Identification
    Download  www.academypublisher.com
    Ramya Ravichandar, James D. Arthur
    claim paper
    Read More »
    DT
    2007
    98views more  DT 2007»
    Combining Theorem Proving with Model Checking through Predicate Abstraction
    15 years 6 months ago
    Combining Theorem Proving with Model Checking through Predicate Abstraction
    Download  www.cs.utexas.edu
    Sandip Ray, Rob Sumners
    claim paper
    Read More »
    KI
    2008
    Springer
    80views Artificial Intelligence» more  KI 2008»
    Towards Recognizing Abstract Activities: An Unsupervised Approach
    15 years 6 months ago
    Towards Recognizing Abstract Activities: An Unsupervised Approach
    Download  sunsite.informatik.rwth-aachen.de
    Albert Hein, Thomas Kirste
    claim paper
    Read More »
    ENDM
    2007
    59views more  ENDM 2007»
    Time-Constrained Restless Bandits and the Knapsack Problem for Perishable Items (Extended Abstract)
    15 years 6 months ago
    Time-Constrained Restless Bandits and the Knapsack Problem for Perishable Items (Extended Abstract)
    Download  www.bcamath.org
    Peter Jacko, José Niño-Mora
    claim paper
    Read More »
    ENTCS
    2007
    90views more  ENTCS 2007»
    Extracting Program Logics From Abstract Interpretations Defined by Logical Relations
    15 years 6 months ago
    Extracting Program Logics From Abstract Interpretations Defined by Logical Relations
    Download  santos.cis.ksu.edu
    David A. Schmidt
    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.