Sciweavers

    4693 search results - page 175 / 939
    » Verifying Hybrid Systems
    Sort
    View
    EMSOFT
    2001
    Springer
    84views Software Engineering» more  EMSOFT 2001»
    Hierarchical Hybrid Modeling of Embedded Systems
    15 years 9 months ago
    Hierarchical Hybrid Modeling of Embedded Systems
    Download  www.cis.upenn.edu
    Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael B...
    claim paper
    Read More »
    SEKE
    2001
    Springer
    70views Software Engineering» more  SEKE 2001»
    A Hybrid Approach for Corporate Memory Management Systems in Software R&D Organizations
    15 years 9 months ago
    A Hybrid Approach for Corporate Memory Management Systems in Software R&D Organizations
    Download  www.inf.ufsc.br
    Christiane Gresse von Wangenheim, Daniel Lichtnow,...
    claim paper
    Read More »
    ICRA
    1998
    IEEE
    128views Robotics» more  ICRA 1998»
    Hybrid, High-Precision Localisation for the Mail Distributing Mobile Robot System MOPS
    15 years 9 months ago
    Hybrid, High-Precision Localisation for the Mail Distributing Mobile Robot System MOPS
    Download  www.nada.kth.se
    This paper describes the new localisation algorithms under implementation for the mail distributing mobile robot, MOPS, of the Institute of Robotics, Swiss Federal Institute of Te...
    Kai Oliver Arras, Sjur J. Vestli
    claim paper
    Read More »
    INFOCOM
    1998
    IEEE
    116views Communications» more  INFOCOM 1998»
    Stability of a Type-II Hybrid ARQ Protocol for DS-SSMA Packet Radio Systems
    15 years 9 months ago
    Stability of a Type-II Hybrid ARQ Protocol for DS-SSMA Packet Radio Systems
    Download  www.wireless.ece.ufl.edu
    Qian Zhang, Tan F. Wong, James S. Lehnert
    claim paper
    Read More »
    KES
    1997
    Springer
    111views Information Technology» more  KES 1997»
    Formal verification of the correctness in hybrid expert systems
    15 years 9 months ago
    Formal verification of the correctness in hybrid expert systems
    Download  www4.comp.polyu.edu.hk
    Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung
    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.