Sciweavers

    12745 search results - page 250 / 2549
    » Automating test automation
    Sort
    View
    TPHOL
    2007
    IEEE
    115views Automated Reasoning» more  TPHOL 2007»
    Improving the Usability of HOL Through Controlled Automation Tactics
    16 years 25 days ago
    Improving the Usability of HOL Through Controlled Automation Tactics
    Download  people.csail.mit.edu
    Eunsuk Kang, Mark Aagaard
    claim paper
    Read More »
    LPAR
    2005
    Springer
    94views Automated Reasoning» more  LPAR 2005»
    Zap: Automated Theorem Proving for Software Analysis
    16 years 2 days ago
    Zap: Automated Theorem Proving for Software Analysis
    Download  research.microsoft.com
    Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvath...
    claim paper
    Read More »
    KR
    2004
    Springer
    110views Automated Reasoning» more  KR 2004»
    Automated Reformulation of Specifications by Safe Delay of Constraints
    15 years 12 months ago
    Automated Reformulation of Specifications by Safe Delay of Constraints
    Download  www.aaai.org
    Marco Cadoli, Toni Mancini
    claim paper
    Read More »
    BMCBI
    2008
    84views more  BMCBI 2008»
    The comparative analysis of statistics, based on the likelihood ratio criterion, in the automated annotation problem
    15 years 6 months ago
    The comparative analysis of statistics, based on the likelihood ratio criterion, in the automated annotation problem
    Download  www.biomedcentral.com
    Background: This paper discusses the problem of automated annotation. It is a continuation of the previous work on the A4-algorithm (Adaptive algorithm of automated annotation) de...
    Andrey M. Leontovich, Konstantin Y. Tokmachev, Han...
    claim paper
    Read More »
    GIS
    2006
    ACM
    130views Automated Reasoning» more  GIS 2006»
    Reactions to geovisualization: an experience from a European project
    15 years 6 months ago
    Reactions to geovisualization: an experience from a European project
    Download  geoanalytics.net
    The paper is written jointly by two parties, computer scientists specializing in geovisualization and experts in forestry, who cooperated within a joint project. The authors tell ...
    Gennady L. Andrienko, Natalia V. Andrienko, Richar...
    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.