Sciweavers

    28445 search results - page 537 / 5689
    » Anatomically based modeling
    Sort
    View
    AIIDE
    2008
    186views Artificial Intelligence» more  AIIDE 2008»
    Combining Model-Based Meta-Reasoning and Reinforcement Learning for Adapting Game-Playing Agents
    15 years 6 months ago
    Combining Model-Based Meta-Reasoning and Reinforcement Learning for Adapting Game-Playing Agents
    Download  www.aaai.org
    Human experience with interactive games will be enhanced if the software agents that play the game learn from their failures. Techniques such as reinforcement learning provide one...
    Patrick Ulam, Joshua Jones, Ashok K. Goel
    claim paper
    Read More »
    DLOG
    2008
    123views Automated Reasoning» more  DLOG 2008»
    Description Logics-Based Modelling for Precise Information Retrieval
    15 years 6 months ago
    Description Logics-Based Modelling for Precise Information Retrieval
    Download  ftp.informatik.rwth-aachen.de
    Saïd Radhouani, Gilles Falquet
    claim paper
    Read More »
    AOSE
    2008
    Springer
    225views Intelligent Agents» more  AOSE 2008»
    An Evaluation Framework for MAS Modeling Languages Based on Metamodel Metrics
    15 years 6 months ago
    An Evaluation Framework for MAS Modeling Languages Based on Metamodel Metrics
    Download  grasia.fdi.ucm.es
    Iván García-Magariño, Jorge J...
    claim paper
    Read More »
    APN
    2008
    Springer
    165views Artificial Intelligence» more  APN 2008»
    Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
    15 years 6 months ago
    Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
    Download  lacl.univ-paris12.fr
    Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
    Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
    claim paper
    Read More »
    CBSE
    2008
    Springer
    125views Software Engineering» more  CBSE 2008»
    Model Checking of Control-User Component-Based Parametrised Systems
    15 years 6 months ago
    Model Checking of Control-User Component-Based Parametrised Systems
    Download  www.fi.muni.cz
    Pavlína Vareková, Ivana Cerná
    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.