Sciweavers

    8928 search results - page 87 / 1786
    » Modeling Current Events
    Sort
    View
    ICPR
    2004
    IEEE
    172views computer vision» more  ICPR 2004»
    Learned Probabilistic Image Motion Models for Event Detection in Videos
    16 years 1 months ago
    Learned Probabilistic Image Motion Models for Event Detection in Videos
    Download  www.irisa.fr
    Gwenaëlle Piriou, Jian-Feng Yao, Patrick Bout...
    claim paper
    Read More »
    FMICS
    2009
    Springer
    151views Formal Methods» more  FMICS 2009»
    Visualising Event-B Models with B-Motion Studio
    15 years 6 months ago
    Visualising Event-B Models with B-Motion Studio
    Download  www.stups.uni-duesseldorf.de
    Lukas Ladenberger, Jens Bendisposto, Michael Leusc...
    claim paper
    Read More »
    ECRTS
    2008
    IEEE
    153views Embedded Systems» more  ECRTS 2008»
    Advanced Hierachical Event-Stream Model
    15 years 6 months ago
    Advanced Hierachical Event-Stream Model
    Download  www.uni-ulm.de
    Karsten Albers, Frank Bodmann, Frank Slomka
    claim paper
    Read More »
    DEPCOS
    2006
    IEEE
    93views Hardware» more  DEPCOS 2006»
    Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers
    15 years 6 months ago
    Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers
    Download  home.mit.bme.hu
    Zoltán Micskei, István Majzik
    claim paper
    Read More »
    TPHOL
    2005
    IEEE
    79views Automated Reasoning» more  TPHOL 2005»
    Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS
    15 years 5 months ago
    Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS
    Download  www.cs.york.ac.uk
    Néstor Cataño
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2025, USA.