Sciweavers

    15635 search results - page 62 / 3127
    » Modelling and Design of VAML
    Sort
    View
    ATAL
    2004
    Springer
    73views Intelligent Agents» more  ATAL 2004»
    A Design Foundation for a Trust-Modeling Experimental Testbed
    15 years 9 months ago
    A Design Foundation for a Trust-Modeling Experimental Testbed
    Download  megatron.iiia.csic.es
    Karen Fullam, Jordi Sabater-Mir, K. Suzanne Barber
    claim paper
    Read More »
    ATVA
    2004
    Springer
    106views Hardware» more  ATVA 2004»
    Design and Evaluation of a Symbolic and Abstraction-Based Model Checker
    15 years 9 months ago
    Design and Evaluation of a Symbolic and Abstraction-Based Model Checker
    Download  www.lsv.ens-cachan.fr
    Serge Haddad, Jean-Michel Ilié, Kais Klai
    claim paper
    Read More »
    GECCO
    2004
    Springer
    82views Optimization» more  GECCO 2004»
    Designing Competent Mutation Operators Via Probabilistic Model Building of Neighborhoods
    15 years 9 months ago
    Designing Competent Mutation Operators Via Probabilistic Model Building of Neighborhoods
    Download  www.illigal.uiuc.edu
    Kumara Sastry, David E. Goldberg
    claim paper
    Read More »
    ISOLA
    2004
    Springer
    84views Formal Methods» more  ISOLA 2004»
    Model Checker Aided Design of a Controller for a Wafer Scanner
    15 years 9 months ago
    Model Checker Aided Design of a Controller for a Wafer Scanner
    Download  ametist.cs.utwente.nl
    Martijn Hendriks, Barend van den Nieuwelaar, Frits...
    claim paper
    Read More »
    MOZ
    2004
    Springer
    261views Artificial Intelligence» more  MOZ 2004»
    Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model
    15 years 9 months ago
    Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model
    Download  cmr.soc.plymouth.ac.uk
    Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
    Torsten Anders, Christina Anagnostopoulou, Michael...
    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.