Sciweavers

    7160 search results - page 83 / 1432
    » Organizing Multiagent Systems
    Sort
    View
    ATAL
    2005
    Springer
    140views Intelligent Agents» more  ATAL 2005»
    Bounded model checking for knowledge and real time
    15 years 8 months ago
    Bounded model checking for knowledge and real time
    Download  www.cs.huji.ac.il
    We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
    Bozena Wozna, Alessio Lomuscio, Wojciech Penczek
    claim paper
    Read More »
    88
    Voted
    SBRN
    2006
    IEEE
    81views Neural Networks» more  SBRN 2006»
    A Hybrid SOM-Based Document Organization System
    15 years 9 months ago
    A Hybrid SOM-Based Document Organization System
    Download  www.icmc.usp.br
    Renato Fernandes Corrêa, Teresa Bernarda Lud...
    claim paper
    Read More »
    P2P
    2005
    IEEE
    79views Communications» more  P2P 2005»
    Self-Organization in Peer-to-Peer Systems
    15 years 8 months ago
    Self-Organization in Peer-to-Peer Systems
    Download  www.eecs.harvard.edu
    Hermann de Meer, Christian Koppen
    claim paper
    Read More »
    ESAW
    2004
    Springer
    111views Intelligent Agents» more  ESAW 2004»
    From Self-Organized Systems to Collective Problem Solving
    15 years 8 months ago
    From Self-Organized Systems to Collective Problem Solving
    Download  www.irit.fr
    Vincent Chevrier
    claim paper
    Read More »
    74
    Voted
    EAGC
    2003
    Springer
    107views Distributed And Parallel Com...» more  EAGC 2003»
    VOMS, an Authorization System for Virtual Organizations
    15 years 8 months ago
    VOMS, an Authorization System for Virtual Organizations
    Download  grid.cesga.es
    Roberto Alfieri, Roberto Cecchini, Vincenzo Ciasch...
    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.