Sciweavers

    11436 search results - page 173 / 2288
    » Modeling Real Reasoning
    Sort
    View
    JOT
    2010
    96views more  JOT 2010»
    UML Profiles for Modeling Real-Time Communication Protocols
    15 years 1 months ago
    UML Profiles for Modeling Real-Time Communication Protocols
    Download  www.jot.fm
    Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...
    Barath Kumar, Jürgen Jasperneite
    claim paper
    Read More »
    PAMI
    2010
    245views more  PAMI 2010»
    A Combinatorial Solution for Model-Based Image Segmentation and Real-Time Tracking
    15 years 1 months ago
    A Combinatorial Solution for Model-Based Image Segmentation and Real-Time Tracking
    Download  cvpr.in.tum.de
    —We propose a combinatorial solution to determine the optimal elastic matching of a deformable template to an image. The central idea is to cast the optimal matching of each temp...
    Thomas Schoenemann, Daniel Cremers
    claim paper
    Read More »
    IPPS
    2010
    IEEE
    113views Distributed And Parallel Com...» more  IPPS 2010»
    Modeling and analysis of real -time systems with mutex components
    15 years 1 months ago
    Modeling and analysis of real -time systems with mutex components
    Download  www.ipdps.org
    Guoqiang Li, Xiaojuan Cai, Shoji Yuen
    claim paper
    Read More »
    CORR
    2009
    Springer
    117views Education» more  CORR 2009»
    Automated Predicate Abstraction for Real-Time Models
    15 years 28 days ago
    Automated Predicate Abstraction for Real-Time Models
    Download  www.informatik.uni-freiburg.de
    Bahareh Badban, Stefan Leue, Jan-Georg Smaus
    claim paper
    Read More »
    ICAART
    2009
    INSTICC
    186views Intelligent Agents» more  ICAART 2009»
    Intelligent Tiles - Putting Situated Multi-Agents Models in Real World
    15 years 26 days ago
    Intelligent Tiles - Putting Situated Multi-Agents Models in Real World
    Download  www.loria.fr
    Nicolas Pépin, Olivier Simonin, Franç...
    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.