Sciweavers

    6957 search results - page 1352 / 1392
    » Planning before plans
    Sort
    View
    IJCAI
    1993
    150views Artificial Intelligence» more  IJCAI 1993»
    A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
    15 years 1 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 »
    NAACL
    1994
    123views Computational Linguistics» more  NAACL 1994»
    Expanding the Scope of the ATIS Task: The ATIS-3 Corpus
    15 years 1 months ago
    Expanding the Scope of the ATIS Task: The ATIS-3 Corpus
    Download  acl.ldc.upenn.edu
    The Air Travel Information System (ATIS) domain serves as the common evaluation task for ARPA"spoken language system developers.1To support this task, the Multi-Site ATIS Dat...
    Deborah A. Dahl, Madeleine Bates, Michael Brown, W...
    claim paper
    Read More »
    IJCAI
    1989
    122views Artificial Intelligence» more  IJCAI 1989»
    Layering Predictions: Flexible Use of Dialog Expectation in Speech Recognition
    15 years 1 months ago
    Layering Predictions: Flexible Use of Dialog Expectation in Speech Recognition
    Download  www-2.cs.cmu.edu
    entional user behavior, we need a principled mannerAbstract for relaxing contextual constraints when they are violated.When computer speech recognition is used for problem In order...
    Sheryl R. Young, Wayne H. Ward, Alexander G. Haupt...
    claim paper
    Read More »
    PPSC
    1989
    122views Distributed And Parallel Com...» more  PPSC 1989»
    Evaluating Block Algorithm Variants in LAPACK
    15 years 1 months ago
    Evaluating Block Algorithm Variants in LAPACK
    Download  www.netlib.org
    The LAPACK software project currently under development is intended to provide a portable linear algebra library for high performance computers. LAPACK will make use of the Level 1...
    Ed Anderson, Jack Dongarra
    claim paper
    Read More »
    FGCS
    1992
    103views more  FGCS 1992»
    Parallel Inference Machine PIM
    15 years 1 months ago
    Parallel Inference Machine PIM
    Download  www.mssanz.org.au
    : There have been no major control problems during the first three years of the new Tokaido-Sanyo Shinkansen (bullet train) Programmed Route Control (PRC) computer system. Prior to...
    Kazuo Taki
    claim paper
    Read More »
    « Prev « First page 1352 / 1392 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-2025, USA.