Sciweavers

    5639 search results - page 18 / 1128
    » Timed Abstract Non-interference
    Sort
    View
    FORTE
    2010
    182views Formal Methods» more  FORTE 2010»
    Forgetting the Time in Timed Process Algebra
    14 years 11 months ago
    Forgetting the Time in Timed Process Algebra
    Download  www.mate.tue.nl
    Abstract. In this paper, we propose the notion of partial time abstraction for timed process algebras, which introduces the possibility to abstract away parts of the timing of syst...
    Anton Wijs
    claim paper
    Read More »
    SIAMNUM
    2010
    113views more  SIAMNUM 2010»
    Compactness Properties of the DG and CG Time Stepping Schemes for Parabolic Equations
    14 years 4 months ago
    Compactness Properties of the DG and CG Time Stepping Schemes for Parabolic Equations
    Download  www.math.cmu.edu
    Abstract. It is shown that for a broad class of equations that numerical solutions computed using the discontinuous Galerkin or the continuous Galerkin time stepping schemes of arb...
    Noel Walkington
    claim paper
    Read More »
    76
    Voted
    TITS
    2010
    132views Education» more  TITS 2010»
    Performance Evaluation of UHF RFID Technologies for Real-Time Passenger Recognition in Intelligent Public Transportation Systems
    14 years 4 months ago
    Performance Evaluation of UHF RFID Technologies for Real-Time Passenger Recognition in Intelligent Public Transportation Systems
    Download  web.ing.puc.cl
    Abstract--Automated passenger tracking in public transportation systems can be used to estimate the short-term demand and, thereby, to optimize the fleet schedule in real time. It ...
    Christian Oberli, Miguel Torres-Torriti, Dan Landa...
    claim paper
    Read More »
    ICONIP
    2009
    139views Information Technology» more  ICONIP 2009»
    A Markov Model for Multiagent Patrolling in Continuous Time
    14 years 7 months ago
    A Markov Model for Multiagent Patrolling in Continuous Time
    Download  damas.ift.ulaval.ca
    Abstract. We present a model for the multiagent patrolling problem with continuous-time. An anytime and online algorithm is then described and extended to asynchronous multiagent d...
    Jean-Samuel Marier, Camille Besse, Brahim Chaib-dr...
    claim paper
    Read More »
    ALT
    2010
    Springer
    172views Machine Learning» more  ALT 2010»
    PageRank Optimization in Polynomial Time by Stochastic Shortest Path Reformulation
    14 years 4 months ago
    PageRank Optimization in Polynomial Time by Stochastic Shortest Path Reformulation
    Download  www.sztaki.hu
    Abstract. The importance of a node in a directed graph can be measured by its PageRank. The PageRank of a node is used in a number of application contexts
    Balázs Csanád Csáji, Rapha&eu...
    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.