Sciweavers

    5757 search results - page 148 / 1152
    » Dynamic Policy Programming
    Sort
    View
    CAV
    2008
    Springer
    110views Hardware» more  CAV 2008»
    Monotonic Abstraction for Programs with Dynamic Memory Heaps
    15 years 8 months ago
    Monotonic Abstraction for Programs with Dynamic Memory Heaps
    Download  www.liafa.jussieu.fr
    c Abstraction for Programs with Dynamic Memory Heaps Parosh Aziz Abdulla1 , Ahmed Bouajjani2 , Jonathan Cederberg1 , Fr
    Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Ced...
    claim paper
    Read More »
    PLILP
    1994
    Springer
    142views Programming Languages» more  PLILP 1994»
    Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing
    15 years 10 months ago
    Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing
    Download  domino.research.ibm.com
    Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
    John Field, Frank Tip
    claim paper
    Read More »
    UM
    2005
    Springer
    83views Programming Languages» more  UM 2005»
    A Comparison of HMMs and Dynamic Bayesian Networks for Recognizing Office Activities
    15 years 11 months ago
    A Comparison of HMMs and Dynamic Bayesian Networks for Recognizing Office Activities
    Download  research.microsoft.com
    Nuria Oliver, Eric Horvitz
    claim paper
    Read More »
    IFIP
    2004
    Springer
    83views Programming Languages» more  IFIP 2004»
    Modelling Dynamic Opacity Using Petri Nets with Silent Actions
    15 years 11 months ago
    Modelling Dynamic Opacity Using Petri Nets with Silent Actions
    Download  www.cs.ncl.ac.uk
    Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan
    claim paper
    Read More »
    ICALP
    2003
    Springer
    102views Programming Languages» more  ICALP 2003»
    Succinct Dynamic Dictionaries and Trees
    15 years 11 months ago
    Succinct Dynamic Dictionaries and Trees
    Download  www.cs.cmu.edu
    Rajeev Raman, S. Srinivasa Rao
    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.