Sciweavers

    3006 search results - page 31 / 602
    » Overview
    Sort
    View
    ICLP
    2009
    Springer
    139views Automated Reasoning» more  ICLP 2009»
    An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems
    15 years 9 months ago
    An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems
    Download  www.labri.fr
    Abstract. The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedi...
    Jesús Aranda, Gérard Assayag, Carlos...
    claim paper
    Read More »
    TPHOL
    2009
    IEEE
    254views Automated Reasoning» more  TPHOL 2009»
    HOL Light: An Overview
    15 years 9 months ago
    HOL Light: An Overview
    Download  www.cl.cam.ac.uk
    John Harrison
    claim paper
    Read More »
    AIED
    2009
    Springer
    143views Artificial Intelligence» more  AIED 2009»
    An Overview of LSA-Based Systems for Supporting Learning and Teaching
    15 years 9 months ago
    An Overview of LSA-Based Systems for Supporting Learning and Teaching
    Download  webu2.upmf-grenoble.fr
    Philippe Dessus
    claim paper
    Read More »
    ATAL
    2009
    Springer
    83views Intelligent Agents» more  ATAL 2009»
    An overview of privacy improvements to k-optimal DCOP algorithms
    15 years 9 months ago
    An overview of privacy improvements to k-optimal DCOP algorithms
    Download  www.aamas-conference.org
    Rachel Greenstadt
    claim paper
    Read More »
    CLOUDCOM
    2009
    Springer
    151views Distributed And Parallel Com...» more  CLOUDCOM 2009»
    Cloud Computing: An Overview
    15 years 9 months ago
    Cloud Computing: An Overview
    Download  www.thbs.com
    Ling Qian, Zhiguo Luo, Yujian Du, Leitao Guo
    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.