Sciweavers

    16832 search results - page 3280 / 3367
    » Scenario Based Evaluation
    Sort
    View
    AAAI
    1993
    136views Intelligent Agents» more  AAAI 1993»
    On the Adequateness of the Connection Method
    13 years 11 months ago
    On the Adequateness of the Connection Method
    Download  www.aaai.org
    Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...
    Antje Beringer, Steffen Hölldobler
    claim paper
    Read More »
    ANLP
    1994
    129views more  ANLP 1994»
    Machine Translation of Sentences with Fixed Expressions
    13 years 11 months ago
    Machine Translation of Sentences with Fixed Expressions
    Download  www.aclweb.org
    This paper presents a practical machine translation system based on sentence types for economic news stories. Conventional English-to-Japanese machine translation (MT) systems whi...
    Naoto Katoh, Teruaki Aizawa
    claim paper
    Read More »
    ISMB
    1996
    144views Computational Biology» more  ISMB 1996»
    Refining Neural Network Predictions for Helical Transmembrane Proteins by Dynamic Programming
    13 years 11 months ago
    Refining Neural Network Predictions for Helical Transmembrane Proteins by Dynamic Programming
    Download  cubic.bioc.columbia.edu
    For transmembrane proteins experimental determina-tion of three-dimensional structure is problematic. However, membrane proteins have important impact for molecular biology in gen...
    Burkhard Rost, Rita Casadio, Piero Fariselli
    claim paper
    Read More »
    IJCAI
    1993
    150views Artificial Intelligence» more  IJCAI 1993»
    A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
    13 years 11 months ago
    A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
    Download  dli.iiit.ac.in
    agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
    Anand S. Rao, Michael P. Georgeff
    claim paper
    Read More »
    SWAP
    2007
    139views Internet Technology» more  SWAP 2007»
    Reasoning with Instances of Heterogeneous Ontologies
    13 years 11 months ago
    Reasoning with Instances of Heterogeneous Ontologies
    Download  ftp.informatik.rwth-aachen.de
    We address the problem of reasoning with instances of heterogeneously formalized ontologies. Given a set of semantic mappings, reconciling conceptual and instance level heterogenei...
    Luciano Serafini, Andrei Tamilin
    claim paper
    Read More »
    « Prev « First page 3280 / 3367 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.