Sciweavers

    366 search results - page 45 / 74
    » On Defining Computer Science Terminology
    Sort
    View
    AI
    2010
    Springer
    117views Artificial Intelligence» more  AI 2010»
    On the measure of conflicts: Shapley Inconsistency Values
    13 years 8 months ago
    On the measure of conflicts: Shapley Inconsistency Values
    Download  www.cs.ucl.ac.uk
    There are relatively few proposals for inconsistency measures for propositional belief bases. However inconsistency measures are potentially as important as information measures f...
    Anthony Hunter, Sébastien Konieczny
    claim paper
    Read More »
    ENTCS
    2006
    142views more  ENTCS 2006»
    Specialization of Interaction Protocols in a Temporal Action Logic
    13 years 8 months ago
    Specialization of Interaction Protocols in a Temporal Action Logic
    Download  www.di.unito.it
    Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
    Laura Giordano, Alberto Martelli, Camilla Schwind
    claim paper
    Read More »
    DAM
    2007
    108views more  DAM 2007»
    3D-interval-filament graphs
    13 years 8 months ago
    3D-interval-filament graphs
    Download  www.cs.technion.ac.il
    : Gavril [GA4] defined two new families of intersection graphs: the interval-filament graphs and the subtree-filament graphs. The complements of intervalfilament graphs are the coi...
    Fanica Gavril
    claim paper
    Read More »
    JPDC
    2006
    106views more  JPDC 2006»
    Adaptive algorithms for the dynamic distribution and parallel execution of agent-based models
    13 years 8 months ago
    Adaptive algorithms for the dynamic distribution and parallel execution of agent-based models
    Download  hri.cogs.indiana.edu
    We propose a framework for defining agent-based models (ABMs) and two algorithms for the automatic parallelization of agent-based models, a general version P-ABMG for all ABMs def...
    Matthias Scheutz, Paul W. Schermerhorn
    claim paper
    Read More »
    COMPUTER
    2006
    84views more  COMPUTER 2006»
    Testable, Reusable Units of Cognition
    13 years 8 months ago
    Testable, Reusable Units of Cognition
    Download  se.ethz.ch
    The educational content of a technical topic consists, ultimately, of elementary chunks of knowledge. Identifying and classifying such units -- Testable, Reusable Units of Cogniti...
    Bertrand Meyer
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.