Sciweavers

    9626 search results - page 237 / 1926
    » Invariant Based Programming
    Sort
    View
    ICCD
    2001
    IEEE
    70views Hardware» more  ICCD 2001»
    Symbolic Cache: Fast Memory Access Based on Program Syntax Correlation of Loads and Stores
    16 years 3 months ago
    Symbolic Cache: Fast Memory Access Based on Program Syntax Correlation of Loads and Stores
    Download  www.ece.lsu.edu
    Qianrong Ma, Jih-Kwon Peir, Lu Peng, Konrad Lai
    claim paper
    Read More »
    CGO
    2009
    IEEE
    117views Software Engineering» more  CGO 2009»
    A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models
    16 years 1 months ago
    A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models
    Download  ls12-www.cs.tu-dortmund.de
    Daniel Cordes, Heiko Falk, Peter Marwedel
    claim paper
    Read More »
    ISVC
    2009
    Springer
    147views Applied Computing» more  ISVC 2009»
    Deformable 2D Shape Matching Based on Shape Contexts and Dynamic Programming
    16 years 1 months ago
    Deformable 2D Shape Matching Based on Shape Contexts and Dynamic Programming
    Download  www.ics.forth.gr
    This paper presents a method for matching closed, 2D shapes (2D object silhouettes) that are represented as an ordered collection of shape contexts [1]. Matching is performed using...
    Iasonas Oikonomidis, Antonis A. Argyros
    claim paper
    Read More »
    COORDINATION
    2007
    Springer
    132views Distributed And Parallel Com...» more  COORDINATION 2007»
    A Prolog-Based Language for Workflow Programming
    16 years 20 days ago
    A Prolog-Based Language for Workflow Programming
    Download  www.cs.bris.ac.uk
    Workflow management systems control activities that are performed in a distributed manner by a number of human or automated participants. There is a wide variety of workflow syste...
    Steve Gregory, Martha Paschali
    claim paper
    Read More »
    EPIA
    2007
    Springer
    86views Artificial Intelligence» more  EPIA 2007»
    Answer-Set Programming Based Dynamic User Modeling for Recommender Systems
    16 years 20 days ago
    Answer-Set Programming Based Dynamic User Modeling for Recommender Systems
    Download  centria.di.fct.unl.pt
    João Leite, Manoela Ilic
    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.