Sciweavers

    553 search results - page 106 / 111
    » Learning Meets Verification
    Sort
    View
    CSEE
    2000
    Springer
    116views Software Engineering» more  CSEE 2000»
    Technology Transfer Issues for Formal Methods of Software Specification
    14 years 2 months ago
    Technology Transfer Issues for Formal Methods of Software Specification
    Download  www.dsl.uow.edu.au
    Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
    Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...
    claim paper
    Read More »
    SDM
    2008
    SIAM
    177views Data Mining» more  SDM 2008»
    Practical Private Computation and Zero-Knowledge Tools for Privacy-Preserving Distributed Data Mining
    13 years 11 months ago
    Practical Private Computation and Zero-Knowledge Tools for Privacy-Preserving Distributed Data Mining
    Download  www.cs.berkeley.edu
    In this paper we explore private computation built on vector addition and its applications in privacypreserving data mining. Vector addition is a surprisingly general tool for imp...
    Yitao Duan, John F. Canny
    claim paper
    Read More »
    BMCBI
    2005
    103views more  BMCBI 2005»
    SeqDoC: rapid SNP and mutation detection by direct comparison of DNA sequence chromatograms
    13 years 9 months ago
    SeqDoC: rapid SNP and mutation detection by direct comparison of DNA sequence chromatograms
    Download  www.biomedcentral.com
    Background: This paper describes SeqDoC, a simple, web-based tool to carry out direct comparison of ABI sequence chromatograms. This allows the rapid identification of single nucl...
    Mark L. Crowe
    claim paper
    Read More »
    KI
    2002
    Springer
    254views Artificial Intelligence» more  KI 2002»
    Advantages, Opportunities and Limits of Empirical Evaluations: Evaluating Adaptive Systems
    13 years 9 months ago
    Advantages, Opportunities and Limits of Empirical Evaluations: Evaluating Adaptive Systems
    Download  www.easy-hub.org
    While empirical evaluations are a common research method in some areas of Artificial Intelligence (AI), others still neglect this approach. This article outlines both the opportun...
    Stephan Weibelzahl, Gerhard Weber
    claim paper
    Read More »
    TSE
    2002
    157views more  TSE 2002»
    Assessing the Applicability of Fault-Proneness Models Across Object-Oriented Software Projects
    13 years 9 months ago
    Assessing the Applicability of Fault-Proneness Models Across Object-Oriented Software Projects
    Download  squall.sce.carleton.ca
    A number of papers have investigated the relationships between design metrics and the detection of faults in object-oriented software. Several of these studies have shown that suc...
    Lionel C. Briand, Walcélio L. Melo, Jü...
    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-2024, USA.