Sciweavers

    8109 search results - page 134 / 1622
    » A Model of Component-Based Programming
    Sort
    View
    AIIA
    2007
    Springer
    89views Artificial Intelligence» more  AIIA 2007»
    Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
    15 years 11 months ago
    Finite Model Reasoning on UML Class Diagrams Via Constraint Programming
    Download  www.dis.uniroma1.it
    Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo...
    claim paper
    Read More »
    EPIA
    2007
    Springer
    86views Artificial Intelligence» more  EPIA 2007»
    Answer-Set Programming Based Dynamic User Modeling for Recommender Systems
    15 years 11 months 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 »
    LCPC
    2007
    Springer
    116views System Software» more  LCPC 2007»
    Capsules: Expressing Composable Computations in a Parallel Programming Model
    15 years 11 months ago
    Capsules: Expressing Composable Computations in a Parallel Programming Model
    Download  etd.gatech.edu
    Hasnain A. Mandviwala, Umakishore Ramachandran, Ka...
    claim paper
    Read More »
    126
    Voted
    CAV
    2005
    Springer
    114views Hardware» more  CAV 2005»
    Bounded Model Checking of Concurrent Programs
    15 years 10 months ago
    Bounded Model Checking of Concurrent Programs
    Download  www.inf.ethz.ch
    Ishai Rabinovitz, Orna Grumberg
    claim paper
    Read More »
    CSL
    2005
    Springer
    101views Automated Reasoning» more  CSL 2005»
    Bounded Model Checking of Pointer Programs
    15 years 10 months ago
    Bounded Model Checking of Pointer Programs
    Download  www.ii.uni.wroc.pl
    Witold Charatonik, Lilia Georgieva, Patrick Maier
    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.