Sciweavers

    29172 search results - page 400 / 5835
    » Modeling Systems in CLP
    Sort
    View
    IPPS
    2006
    IEEE
    96views Distributed And Parallel Com...» more  IPPS 2006»
    Learning computing models from cells and tissues: P systems
    16 years 1 months ago
    Learning computing models from cells and tissues: P systems
    Download  www.cecs.uci.edu
    Gheorghe Paun
    claim paper
    Read More »
    168
    Voted
    IROS
    2006
    IEEE
    123views Robotics» more  IROS 2006»
    Synthesizing and Modeling Human Locomotion Using System Identification
    16 years 1 months ago
    Synthesizing and Modeling Human Locomotion Using System Identification
    Download  www.laas.fr
    Wael Suleiman, André Monin, Jean-Paul Laumo...
    claim paper
    Read More »
    132
    Voted
    ISCAS
    2006
    IEEE
    77views Hardware» more  ISCAS 2006»
    Modeling orientation selectivity using a neuromorphic multi-chip system
    16 years 1 months ago
    Modeling orientation selectivity using a neuromorphic multi-chip system
    Download  www.ini.uzh.ch
    Elisabetta Chicca, Patrick Lichtsteiner, Tobi Delb...
    claim paper
    Read More »
    AICCSA
    2005
    IEEE
    106views Hardware» more  AICCSA 2005»
    Architectural modelling to understand system evolution
    16 years 1 months ago
    Architectural modelling to understand system evolution
    Download  userweb.port.ac.uk
    Galal H. Galal-Edeen
    claim paper
    Read More »
    160
    Voted
    APSEC
    2005
    IEEE
    95views Software Engineering» more  APSEC 2005»
    A Lightweight Integration of Theorem Proving and Model Checking for System Verification
    16 years 1 months ago
    A Lightweight Integration of Theorem Proving and Model Checking for System Verification
    Download  www.jaist.ac.jp
    Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...
    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.