Sciweavers

    21430 search results - page 64 / 4286
    » Abstract Effective Models
    Sort
    View
    PLDI
    2011
    ACM
    163views Programming Languages» more  PLDI 2011»
    Partial-coherence abstractions for relaxed memory models
    14 years 10 months ago
    Partial-coherence abstractions for relaxed memory models
    Download  www.cs.technion.ac.il
    Michael Kuperstein, Martin T. Vechev, Eran Yahav
    claim paper
    Read More »
    168
    Voted
    PLDI
    2011
    ACM
    153views Programming Languages» more  PLDI 2011»
    Predicate abstraction and CEGAR for higher-order model checking
    14 years 10 months ago
    Predicate abstraction and CEGAR for higher-order model checking
    Download  www.kb.ecei.tohoku.ac.jp
    Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno
    claim paper
    Read More »
    SBP
    2011
    Springer
    158views Applied Computing» more  SBP 2011»
    Abstraction of an Affective-Cognitive Decision Making Model Based on Simulated Behaviour and Perception Chains
    14 years 10 months ago
    Abstraction of an Affective-Cognitive Decision Making Model Based on Simulated Behaviour and Perception Chains
    Download  www.few.vu.nl
    Alexei Sharpanskykh, Jan Treur
    claim paper
    Read More »
    BIOSTEC
    2011
    247views Healthcare» more  BIOSTEC 2011»
    Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology
    14 years 7 months ago
    Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology
    Download  emotion.inrialpes.fr
    Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, ...
    claim paper
    Read More »
    CEC
    2011
    IEEE
    197views Artificial Intelligence» more  CEC 2011»
    An abstract representation model for evolutionary analysis of multi-agent interactions
    14 years 7 months ago
    An abstract representation model for evolutionary analysis of multi-agent interactions
    Download  users.encs.concordia.ca
    Arash Shaban-Nejad, Volker Haarslev
    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.