Sciweavers

    4359 search results - page 795 / 872
    » Automated Pipeline Design
    Sort
    View
    FORTE
    2011
    259views Formal Methods» more  FORTE 2011»
    Analyzing BGP Instances in Maude
    13 years 23 days ago
    Analyzing BGP Instances in Maude
    Download  www.andrew.cmu.edu
    Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
    Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Th...
    claim paper
    Read More »
    DGO
    2011
    264views Education» more  DGO 2011»
    Developing an ontology for the U.S. patent system
    12 years 9 months ago
    Developing an ontology for the U.S. patent system
    Download  eil.stanford.edu
    The past few years have experienced an explosive growth in scientific and regulatory documents related to the patent system. Relevant information is siloed into many heterogeneous...
    Siddharth Taduri, Gloria T. Lau, Kincho H. Law, Ha...
    claim paper
    Read More »
    IS
    2012
    369views Artificial Intelligence» more  IS 2012»
    On the refactoring of activity labels in business process models
    12 years 4 months ago
    On the refactoring of activity labels in business process models
    Download  mendling.com
    Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
    Henrik Leopold, Sergey Smirnov 0002, Jan Mendling
    claim paper
    Read More »
    TVCG
    2012
    167views Hardware» more  TVCG 2012»
    Wellformedness Properties in Euler Diagrams: Which Should Be Used?
    11 years 11 months ago
    Wellformedness Properties in Euler Diagrams: Which Should Be Used?
    Download  kar.kent.ac.uk
    — Euler diagrams are often used to visualize intersecting data sets in applications such as criminology; genetics, medicine and computer file systems. One interesting aspect of t...
    Peter Rodgers, Leishi Zhang, Helen C. Purchase
    claim paper
    Read More »
    ACL
    2012
    199views Computational Linguistics» more  ACL 2012»
    PORT: a Precision-Order-Recall MT Evaluation Metric for Tuning
    11 years 11 months ago
    PORT: a Precision-Order-Recall MT Evaluation Metric for Tuning
    Download  aclweb.org
    Many machine translation (MT) evaluation metrics have been shown to correlate better with human judgment than BLEU. In principle, tuning on these metrics should yield better syste...
    Boxing Chen, Roland Kuhn, Samuel Larkin
    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.