Sciweavers

    31387 search results - page 157 / 6278
    » Abstracts
    Sort
    View
    ATAL
    2005
    Springer
    110views Intelligent Agents» more  ATAL 2005»
    Communication management using abstraction in distributed bayesian networks
    16 years 1 days ago
    Communication management using abstraction in distributed bayesian networks
    Download  mas.cs.umass.edu
    Jiaying Shen, Victor R. Lesser
    claim paper
    Read More »
    BPM
    2005
    Springer
    88views Business» more  BPM 2005»
    Mining Hierarchies of Models: From Abstract Views to Concrete Specifications
    16 years 1 days ago
    Mining Hierarchies of Models: From Abstract Views to Concrete Specifications
    Download  dns2.icar.cnr.it
    Gianluigi Greco, Antonella Guzzo, Luigi Pontieri
    claim paper
    Read More »
    CAISE
    2005
    Springer
    119views Information Technology» more  CAISE 2005»
    On Temporal Abstractions of Web Service Protocols
    16 years 1 days ago
    On Temporal Abstractions of Web Service Protocols
    Download  sunsite.informatik.rwth-aachen.de
    Boualem Benatallah, Fabio Casati, Julien Ponge, Fa...
    claim paper
    Read More »
    CALCO
    2005
    Springer
    104views Mathematics» more  CALCO 2005»
    Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories
    16 years 1 days ago
    Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories
    Download  www.comlab.ox.ac.uk
    Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. htt...
    Samson Abramsky
    claim paper
    Read More »
    CAV
    2005
    Springer
    120views Hardware» more  CAV 2005»
    Predicate Abstraction via Symbolic Decision Procedures
    16 years 1 days ago
    Predicate Abstraction via Symbolic Decision Procedures
    Download  research.microsoft.com
    Shuvendu K. Lahiri, Thomas Ball, Byron Cook
    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.