Sciweavers

    5246 search results - page 1032 / 1050
    » Sanitization models and their limitations
    Sort
    View
    ASE
    2005
    137views more  ASE 2005»
    Rewriting-Based Techniques for Runtime Verification
    13 years 9 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 »
    INTR
    2007
    98views more  INTR 2007»
    User-centered evaluation of information: a research challenge
    13 years 9 months ago
    User-centered evaluation of information: a research challenge
    Download  gsb.haifa.ac.il
    Purpose – This paper sets out to present the concept of the value of information, review the descriptive, rational, social and behavioral approaches for assessing the value of i...
    Daphne R. Raban
    claim paper
    Read More »
    TIFS
    2008
    129views more  TIFS 2008»
    On Empirical Recognition Capacity of Biometric Systems Under Global PCA and ICA Encoding
    13 years 9 months ago
    On Empirical Recognition Capacity of Biometric Systems Under Global PCA and ICA Encoding
    Download  www.csee.wvu.edu
    Performance of biometric-based recognition systems depends on various factors: database quality, image preprocessing, encoding techniques, etc. Given a biometric database and a se...
    Natalia A. Schmid, Francesco Nicolo
    claim paper
    Read More »
    TITB
    2008
    110views more  TITB 2008»
    Context-Sensitive Correlation of Implicitly Related Data: An Episode Creation Methodology
    13 years 9 months ago
    Context-Sensitive Correlation of Implicitly Related Data: An Episode Creation Methodology
    Download  www.cs.ucla.edu
    Episode creation is the task of classifying medical events and related clinical data to high-level concepts, such as diseases. Challenges in episode creation result in part because...
    Roderick Y. Son, Ricky K. Taira, Hooshang Kangarlo...
    claim paper
    Read More »
    BMCBI
    2005
    156views more  BMCBI 2005»
    A new dynamical layout algorithm for complex biochemical reaction networks
    13 years 9 months ago
    A new dynamical layout algorithm for complex biochemical reaction networks
    Download  www.biomedcentral.com
    Background: To study complex biochemical reaction networks in living cells researchers more and more rely on databases and computational methods. In order to facilitate computatio...
    Katja Wegner, Ursula Kummer
    claim paper
    Read More »
    « Prev « First page 1032 / 1050 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.