Sciweavers

    1422 search results - page 4 / 285
    » Complementation in Abstract Interpretation
    Sort
    View
    HCI
    2009
    175views Human Computer Interaction» more  HCI 2009»
    Complemental Use of Multiple Cameras for Stable Tracking of Multiple Markers
    13 years 5 months ago
    Complemental Use of Multiple Cameras for Stable Tracking of Multiple Markers
    Download  www.hvrl.ics.keio.ac.jp
    Abstract. In many applications of Augmented Reality (AR), rectangular markers are tracked in real time by capturing with cameras. In this paper, we consider the AR application in w...
    Yuki Arai, Hideo Saito
    claim paper
    Read More »
    CONCUR
    2004
    Springer
    88views Distributed And Parallel Com...» more  CONCUR 2004»
    Message-Passing Automata Are Expressively Equivalent to EMSO Logic
    14 years 25 days ago
    Message-Passing Automata Are Expressively Equivalent to EMSO Logic
    Download  www4.in.tum.de
    Abstract. We study the expressiveness of finite message-passing automata with a priori unbounded FIFO channels and show them to capture exactly the class of MSC languages that are...
    Benedikt Bollig, Martin Leucker
    claim paper
    Read More »
    ITP
    2010
    143views Mathematics» more  ITP 2010»
    A Certified Denotational Abstract Interpreter
    13 years 9 months ago
    A Certified Denotational Abstract Interpreter
    Download  www.irisa.fr
    ied Denotational Abstract Interpreter (Proof Pearl) David Cachera1 and David Pichardie2 1 IRISA / ENS Cachan (Bretagne), France 2 INRIA Rennes
    David Cachera, David Pichardie
    claim paper
    Read More »
    ENTCS
    2008
    76views more  ENTCS 2008»
    Symbolic and Abstract Interpretation for C/C++ Programs
    13 years 7 months ago
    Symbolic and Abstract Interpretation for C/C++ Programs
    Download  www.informatik.uni-bremen.de
    and Abstract Interpretation for C/C++ Programs Helge L
    Helge Löding, Jan Peleska
    claim paper
    Read More »
    ENTCS
    2008
    89views more  ENTCS 2008»
    Relational Analysis and Precision via Probabilistic Abstract Interpretation
    13 years 7 months ago
    Relational Analysis and Precision via Probabilistic Abstract Interpretation
    Download  www.irisa.fr
    istic Abstract Interpretation Alessandra Di Pierro1 Pascal Sotin2 Herbert Wiklicky3 Within the context of a quantitative generalisation of the well established framework of Abstra...
    Alessandra Di Pierro, Pascal Sotin, Herbert Wiklic...
    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-2024, USA.