Sciweavers

    13917 search results - page 86 / 2784
    » Abstraction of Probabilistic Systems
    Sort
    View
    JAIR
    2002
    110views more  JAIR 2002»
    Fusions of Description Logics and Abstract Description Systems
    15 years 4 months ago
    Fusions of Description Logics and Abstract Description Systems
    Download  www.cs.cmu.edu
    Franz Baader, Carsten Lutz, Holger Sturm, Frank Wo...
    claim paper
    Read More »
    ICTAC
    2010
    Springer
    240views Applied Computing» more  ICTAC 2010»
    Material Flow Abstraction of Manufacturing Systems
    15 years 3 months ago
    Material Flow Abstraction of Manufacturing Systems
    Download  www4.in.tum.de
    Jewgenij Botaschanjan, Benjamin Hummel
    claim paper
    Read More »
    LOGCOM
    2010
    75views more  LOGCOM 2010»
    A Proof System for Abstract Non-interference
    15 years 3 months ago
    A Proof System for Abstract Non-interference
    Download  profs.sci.univr.it
    Roberto Giacobazzi, Isabella Mastroeni
    claim paper
    Read More »
    PERCOM
    2010
    ACM
    108views Computer Networks» more  PERCOM 2010»
    Situvis: A sensor data analysis and abstraction tool for pervasive computing systems
    15 years 3 months ago
    Situvis: A sensor data analysis and abstraction tool for pervasive computing systems
    Download  adrianclear.com
    Adrian K. Clear, Thomas Holland, Simon Dobson, Aar...
    claim paper
    Read More »
    EUROSSC
    2010
    Springer
    137views Information Technology» more  EUROSSC 2010»
    Sensor Abstractions for Opportunistic Activity and Context Recognition Systems
    15 years 2 months ago
    Sensor Abstractions for Opportunistic Activity and Context Recognition Systems
    Download  www.soft.uni-linz.ac.at
    Marc Kurz, Alois Ferscha
    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.