Sciweavers

    686 search results - page 81 / 138
    » Foundations for Bidirectional Programming
    Sort
    View
    AOIS
    2003
    154views Intelligent Agents» more  AOIS 2003»
    Agent-Based Support for Mobile Users Using AgentSpeak(L)
    14 years 11 months ago
    Agent-Based Support for Mobile Users Using AgentSpeak(L)
    Download  www.mit.edu
    Abstract. This paper describes AbIMA, an agent-based intelligent mobile assistant for supporting users prior to and during the execution of their tasks. The agent is based on the w...
    Talal Rahwan, Tarek Rahwan, Iyad Rahwan, Ronald As...
    claim paper
    Read More »
    BIB
    2006
    150views more  BIB 2006»
    Open source tools and toolkits for bioinformatics: significance, and where are we?
    14 years 9 months ago
    Open source tools and toolkits for bioinformatics: significance, and where are we?
    Download  www.duke.edu
    This review summarizes important work in open-source bioinformatics software that has occurred over the past couple of years. The survey is intended to illustrate how programs and...
    Jason E. Stajich, Hilmar Lapp
    claim paper
    Read More »
    ENTCS
    2006
    114views more  ENTCS 2006»
    Open-Source Model Checking
    14 years 9 months ago
    Open-Source Model Checking
    Download  www.cs.sunysb.edu
    We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
    Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Sm...
    claim paper
    Read More »
    IJET
    2008
    114views more  IJET 2008»
    Proposal of convergence of e-Learning Systems for t-Learning
    14 years 9 months ago
    Proposal of convergence of e-Learning Systems for t-Learning
    Download  www.pgce.soton.ac.uk
    This article presents considerations about viability on reutilize existing web based e-Learning systems on Interactive Digital TV environment according to Digital TV standard adopt...
    Barbara De Franco, Hilda Carvalho Oliveira, Everal...
    claim paper
    Read More »
    TKDE
    2008
    121views more  TKDE 2008»
    On Modularity Clustering
    14 years 9 months ago
    On Modularity Clustering
    Download  algo.rwth-aachen.de
    Modularity is a recently introduced quality measure for graph clusterings. It has immediately received considerable attention in several disciplines, and in particular in the compl...
    Ulrik Brandes, Daniel Delling, Marco Gaertler, Rob...
    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-2025, USA.