Sciweavers

    7961 search results - page 205 / 1593
    » Input-Output Model Programs
    Sort
    View
    ICALP
    2004
    Springer
    85views Programming Languages» more  ICALP 2004»
    On Graph Problems in a Semi-streaming Model
    15 years 12 months ago
    On Graph Problems in a Semi-streaming Model
    Download  www.cs.umass.edu
    Joan Feigenbaum, Sampath Kannan, Andrew McGregor, ...
    claim paper
    Read More »
    ICLP
    2003
    Springer
    94views Automated Reasoning» more  ICLP 2003»
    A Generic Persistence Model for (C)LP Systems
    15 years 11 months ago
    A Generic Persistence Model for (C)LP Systems
    Download  www.clip.dia.fi.upm.es
    Jesús Correas, J. M. Gómez, Manuel C...
    claim paper
    Read More »
    UM
    2009
    Springer
    106views Programming Languages» more  UM 2009»
    Sensors Model Student Self Concept in the Classroom
    15 years 11 months ago
    Sensors Model Student Self Concept in the Classroom
    Download  www.cs.umass.edu
    David G. Cooper, Ivon Arroyo, Beverly Park Woolf, ...
    claim paper
    Read More »
    OOPSLA
    2010
    Springer
    138views Security Privacy» more  OOPSLA 2010»
    An input-centric paradigm for program dynamic optimizations
    15 years 5 months ago
    An input-centric paradigm for program dynamic optimizations
    Download  www.cs.wm.edu
    Accurately predicting program behaviors (e.g., locality, dependency, method calling frequency) is fundamental for program optimizations and runtime adaptations. Despite decades of...
    Kai Tian, Yunlian Jiang, Eddy Z. Zhang, Xipeng She...
    claim paper
    Read More »
    ATAL
    2010
    Springer
    158views Intelligent Agents» more  ATAL 2010»
    Reasoning about strategies of multi-agent programs
    15 years 7 months ago
    Reasoning about strategies of multi-agent programs
    Download  www.aamas-conference.org
    Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
    Mehdi Dastani, Wojciech Jamroga
    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.