Sciweavers

    9305 search results - page 1844 / 1861
    » Modeling Blog Dynamics
    Sort
    View
    ASE
    2005
    137views more  ASE 2005»
    Rewriting-Based Techniques for Runtime Verification
    13 years 10 months ago
    Rewriting-Based Techniques for Runtime Verification
    Download  www.havelund.com
    Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
    Grigore Rosu, Klaus Havelund
    claim paper
    Read More »
    BMCBI
    2005
    124views more  BMCBI 2005»
    Tools enabling the elucidation of molecular pathways active in human disease: Application to Hepatitis C virus infection
    13 years 10 months ago
    Tools enabling the elucidation of molecular pathways active in human disease: Application to Hepatitis C virus infection
    Download  www.biomedcentral.com
    Background: The extraction of biological knowledge from genome-scale data sets requires its analysis in the context of additional biological information. The importance of integra...
    David J. Reiss, Iliana Avila-Campillo, Vesteinn Th...
    claim paper
    Read More »
    TNN
    2008
    124views more  TNN 2008»
    Just-in-Time Adaptive Classifiers - Part II: Designing the Classifier
    13 years 10 months ago
    Just-in-Time Adaptive Classifiers - Part II: Designing the Classifier
    Download  home.dei.polimi.it
    Aging effects, environmental changes, thermal drifts, and soft and hard faults affect physical systems by changing their nature and behavior over time. To cope with a process evolu...
    Cesare Alippi, Manuel Roveri
    claim paper
    Read More »
    JFR
    2007
    144views more  JFR 2007»
    Real-Time SLAM with Octree Evidence Grids for Exploration in Underwater Tunnels
    13 years 10 months ago
    Real-Time SLAM with Octree Evidence Grids for Exploration in Underwater Tunnels
    Download  www.ri.cmu.edu
    We describe a Simultaneous Localization and Mapping (SLAM) method for a hovering underwater vehicle that will explore underwater caves and tunnels, a true three dimensional (3D) e...
    Nathaniel Fairfield, George Kantor, David Wettergr...
    claim paper
    Read More »
    TPDS
    2008
    105views more  TPDS 2008»
    peerTalk: A Peer-to-Peer Multiparty Voice-over-IP System
    13 years 10 months ago
    peerTalk: A Peer-to-Peer Multiparty Voice-over-IP System
    Download  www.csc.ncsu.edu
    Multiparty voice-over-IP (MVoIP) services allow a group of people to freely communicate with each other via the Internet, which have many important applications such as online gami...
    Xiaohui Gu, Zhen Wen, Philip S. Yu, Zon-Yin Shae
    claim paper
    Read More »
    « Prev « First page 1844 / 1861 Last » Next »
    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.