Sciweavers

    11017 search results - page 101 / 2204
    » Closure Systems and their Structure
    Sort
    View
    87
    Voted
    ICALT
    2007
    IEEE
    76views Machine Learning» more  ICALT 2007»
    User Session Models for Educational Systems based on Multiple Knowledge Structures
    15 years 10 months ago
    User Session Models for Educational Systems based on Multiple Knowledge Structures
    Download  csdl2.computer.org
    Judit Jassó, Alfredo Milani
    claim paper
    Read More »
    147
    Voted
    IPPS
    2007
    IEEE
    125views Distributed And Parallel Com...» more  IPPS 2007»
    Optimal Assignment of a Tree-Structured Context Reasoning Procedure onto a Host-Satellites System
    15 years 10 months ago
    Optimal Assignment of a Tree-Structured Context Reasoning Procedure onto a Host-Satellites System
    Download  eprints.eemcs.utwente.nl
    In this paper, we study the problem of an optimal assignment of a tree-structured context reasoning procedure onto the computation resources in a hostsatellites configuration. The...
    Hailiang Mei, Pravin Pawar, Ing Widya
    claim paper
    Read More »
    P2P
    2007
    IEEE
    95views Communications» more  P2P 2007»
    Price of Structured Routing and Its Mitigation in P2P Systems under Churn
    15 years 10 months ago
    Price of Structured Routing and Its Mitigation in P2P Systems under Churn
    Download  www.p2p2007.org
    Joseph S. Kong, Vwani P. Roychowdhury
    claim paper
    Read More »
    CMSB
    2007
    Springer
    94views Applied Computing» more  CMSB 2007»
    Stochastic Simulation of Biological Systems with Dynamical Compartment Structure
    15 years 10 months ago
    Stochastic Simulation of Biological Systems with Dynamical Compartment Structure
    Download  www.nesc.ac.uk
    Cristian Versari, Nadia Busi
    claim paper
    Read More »
    VMCAI
    2007
    Springer
    89views Software Engineering» more  VMCAI 2007»
    Using First-Order Theorem Provers in the Jahob Data Structure Verification System
    15 years 9 months ago
    Using First-Order Theorem Provers in the Jahob Data Structure Verification System
    Download  www.mit.edu
    Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...
    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.