Sciweavers

    7929 search results - page 1585 / 1586
    » Applications experience in Jade
    Sort
    View
    ICSE
    2007
    IEEE-ACM
    168views Software Engineering» more  ICSE 2007»
    ACL2s: "The ACL2 Sedan"
    13 years 12 months ago
    ACL2s: "The ACL2 Sedan"
    Download  www.ccs.neu.edu
    ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
    Peter C. Dillinger, Panagiotis Manolios, Daron Vro...
    claim paper
    Read More »
    MUC
    1992
    121views Natural Language Processing» more  MUC 1992»
    GE NLToolset: description of the system as used for MUC-4
    13 years 9 months ago
    GE NLToolset: description of the system as used for MUC-4
    Download  www.aclweb.org
    The GE NLTooLsET is a set of text interpretation tools designed to be easily adapted to new domains. This report summarizes the system and its performance on the MUG-4 task . INTR...
    George B. Krupka, Paul S. Jacobs, Lisa F. Rau, Loi...
    claim paper
    Read More »
    ANLP
    1994
    101views more  ANLP 1994»
    Sublanguage Engineering In The Fog System
    13 years 7 months ago
    Sublanguage Engineering In The Fog System
    Download  acl.ldc.upenn.edu
    FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...
    Richard I. Kittredge, Eli Goldberg, Myunghee Kim, ...
    claim paper
    Read More »
    BMCBI
    2008
    139views more  BMCBI 2008»
    A topological transformation in evolutionary tree search methods based on maximum likelihood combining p-ECR and neighbor joinin
    13 years 5 months ago
    A topological transformation in evolutionary tree search methods based on maximum likelihood combining p-ECR and neighbor joinin
    Download  www.biomedcentral.com
    Background: Inference of evolutionary trees using the maximum likelihood principle is NP-hard. Therefore, all practical methods rely on heuristics. The topological transformations...
    Maozu Guo, Jian-Fu Li, Yang Liu
    claim paper
    Read More »
    BMCBI
    2008
    129views more  BMCBI 2008»
    Motif-directed network component analysis for regulatory network inference
    13 years 5 months ago
    Motif-directed network component analysis for regulatory network inference
    Download  www.biomedcentral.com
    Background: Network Component Analysis (NCA) has shown its effectiveness in discovering regulators and inferring transcription factor activities (TFAs) when both microarray data a...
    Chen Wang, Jianhua Xuan, Li Chen, Po Zhao, Yue Wan...
    claim paper
    Read More »
    « Prev « First page 1585 / 1586 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.