Sciweavers

    10891 search results - page 131 / 2179
    » Combining Model Reductions
    Sort
    View
    ATAL
    2004
    Springer
    62views Intelligent Agents» more  ATAL 2004»
    A Cooperative Negotiation Protocol for Physiological Model Combination
    15 years 8 months ago
    A Cooperative Negotiation Protocol for Physiological Model Combination
    Download  home.dei.polimi.it
    Nicola Gatti, Francesco Amigoni
    claim paper
    Read More »
    ICFEM
    2004
    Springer
    86views Software Engineering» more  ICFEM 2004»
    Model-Based Development: Combining Engineering Approaches and Formal Techniques
    15 years 8 months ago
    Model-Based Development: Combining Engineering Approaches and Formal Techniques
    Download  www4.in.tum.de
    Bernhard Schätz
    claim paper
    Read More »
    SAT
    2004
    Springer
    158views Hardware» more  SAT 2004»
    Combining Component Caching and Clause Learning for Effective Model Counting
    15 years 8 months ago
    Combining Component Caching and Clause Learning for Effective Model Counting
    Download  www.satisfiability.org
    Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Ka...
    claim paper
    Read More »
    CW
    2003
    IEEE
    59views Distributed And Parallel Com...» more  CW 2003»
    Combining Polygonal and Subdivision Surface approaches to Modelling of Urban Environments
    15 years 8 months ago
    Combining Polygonal and Subdivision Surface approaches to Modelling of Urban Environments
    Download  www.cgv.tugraz.at
    A. M. Day, David B. Arnold, Sven Havemann, Dieter ...
    claim paper
    Read More »
    FDL
    2003
    IEEE
    101views Natural Language Processing» more  FDL 2003»
    Combining Formal Refinement and Model Checking for Real-Time Systems Verification
    15 years 8 months ago
    Combining Formal Refinement and Model Checking for Real-Time Systems Verification
    Download  www.c-lab.de
    Alexander Krupp, Wolfgang Müller 0003
    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.