Sciweavers

    14190 search results - page 129 / 2838
    » Abstractions for hybrid systems
    Sort
    View
    IJCAI
    2003
    117views Artificial Intelligence» more  IJCAI 2003»
    Automatic Abstraction in Component-Based Diagnosis Driven by System Observability
    15 years 7 months ago
    Automatic Abstraction in Component-Based Diagnosis Driven by System Observability
    Download  dli.iiit.ac.in
    Gianluca Torta, Pietro Torasso
    claim paper
    Read More »
    IJCAI
    1997
    94views Artificial Intelligence» more  IJCAI 1997»
    Corpus-Based Chinese-Korean Abstracting Translation System
    15 years 7 months ago
    Corpus-Based Chinese-Korean Abstracting Translation System
    Download  swrc.kaist.ac.kr
    Jun-Jie Li, Key-Sun Choi
    claim paper
    Read More »
    CCGRID
    2010
    IEEE
    124views Distributed And Parallel Com...» more  CCGRID 2010»
    SAGA BigJob: An Extensible and Interoperable Pilot-Job Abstraction for Distributed Applications and Systems
    15 years 7 months ago
    SAGA BigJob: An Extensible and Interoperable Pilot-Job Abstraction for Distributed Applications and Systems
    Download  saga.cct.lsu.edu
    André Luckow, Lukasz Lacinski, Shantenu Jha
    claim paper
    Read More »
    CLEIEJ
    2008
    64views more  CLEIEJ 2008»
    A Theory for Abstract Reduction Systems in PVS
    15 years 6 months ago
    A Theory for Abstract Reduction Systems in PVS
    Download  www.clei.cl
    André Luiz Galdino, Mauricio Ayala-Rinc&oac...
    claim paper
    Read More »
    ACS
    2006
    124views Distributed And Parallel Com...» more  ACS 2006»
    Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems
    15 years 6 months ago
    Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems
    Download  voutsadakis.com
    George Voutsadakis
    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.