Sciweavers

    4806 search results - page 94 / 962
    » Interactive uncertainty analysis
    Sort
    View
    FORTE
    1997
    151views Formal Methods» more  FORTE 1997»
    On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions
    14 years 16 days ago
    On-Line Timed Protocol Trace Analysis Based on Uncertain State Descriptions
    Download  user.cs.tu-berlin.de
    This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
    Marek Musial
    claim paper
    Read More »
    CHI
    2006
    ACM
    190views Human Computer Interaction» more  CHI 2006»
    Getting a grip on tangible interaction: a framework on physical space and social interaction
    14 years 11 months ago
    Getting a grip on tangible interaction: a framework on physical space and social interaction
    Download  www.ehornecker.de
    Our current understanding of human interaction with hybrid or augmented environments is very limited. Here we focus on `tangible interaction', denoting systems that rely on e...
    Eva Hornecker, Jacob Buur
    claim paper
    Read More »
    ICIAP
    2003
    ACM
    148views Image Processing» more  ICIAP 2003»
    Camera calibration and 3D reconstruction using interval analysis
    14 years 11 months ago
    Camera calibration and 3D reconstruction using interval analysis
    Download  www.lirmm.fr
    This paper deals with the problem of error estimation in 3D reconstruction. It shows how interval analysis can be used in this way for 3D vision applications. The description of a...
    Benoît Telle, Marie-José Aldon, Nacim...
    claim paper
    Read More »
    ISIPTA
    2003
    IEEE
    102views Mathematics» more  ISIPTA 2003»
    A Sensitivity Analysis for the Pricing of European Call Options in a Binary Tree Model
    14 years 4 months ago
    A Sensitivity Analysis for the Pricing of European Call Options in a Binary Tree Model
    Download  www.carleton-scientific.com
    The European call option prices have well-known formulae in the Cox-RossRubinstein model [2], depending on the volatility of the underlying asset. Nevertheless it is hard to give ...
    Huguette Reynaerts, Michèle Vanmaele
    claim paper
    Read More »
    ENTCS
    2006
    136views more  ENTCS 2006»
    Automated Game Analysis via Probabilistic Model Checking: a case study
    13 years 11 months ago
    Automated Game Analysis via Probabilistic Model Checking: a case study
    Download  www.csc.liv.ac.uk
    It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
    Paolo Ballarini, Michael Fisher, Michael Wooldridg...
    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.