Sciweavers

    31387 search results - page 339 / 6278
    » Abstracts
    Sort
    View
    TC
    2010
    87views Information Technology» more  TC 2010»
    Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement
    15 years 5 months ago
    Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement
    Download  www.csee.usf.edu
    Hao Zheng, Haiqiong Yao, Tomohiro Yoneda
    claim paper
    Read More »
    CORR
    2010
    Springer
    76views Education» more  CORR 2010»
    A framework for designing concurrent and recoverable abstract data types based on commutativity
    15 years 5 months ago
    A framework for designing concurrent and recoverable abstract data types based on commutativity
    Download  hal.archives-ouvertes.fr
    Carmelo Malta, José Martinez
    claim paper
    Read More »
    CORR
    2010
    Springer
    67views Education» more  CORR 2010»
    Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)
    15 years 4 months ago
    Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)
    Download  www.win.tue.nl
    Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van...
    claim paper
    Read More »
    135
    Voted
    EUROSSC
    2010
    Springer
    137views Information Technology» more  EUROSSC 2010»
    Sensor Abstractions for Opportunistic Activity and Context Recognition Systems
    15 years 4 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 »
    159
    Voted
    ICDM
    2010
    IEEE
    125views Data Mining» more  ICDM 2010»
    Abstraction Augmented Markov Models
    15 years 4 months ago
    Abstraction Augmented Markov Models
    Download  www.cs.iastate.edu
    Cornelia Caragea, Adrian Silvescu, Doina Caragea, ...
    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.