Sciweavers

    757 search results - page 117 / 152
    » clear 2007
    Sort
    View
    DAGSTUHL
    1996
    135views Software Engineering» more  DAGSTUHL 1996»
    A Uniform Approach for Compile-Time and Run-Time Specialization
    14 years 11 months ago
    A Uniform Approach for Compile-Time and Run-Time Specialization
    Download  repository.readscheme.org
    As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
    Charles Consel, Luke Hornof, François No&eu...
    claim paper
    Read More »
    DAGSTUHL
    1996
    93views Software Engineering» more  DAGSTUHL 1996»
    Global Control for Partial Deduction through Characteristic Atoms and Global Trees
    14 years 11 months ago
    Global Control for Partial Deduction through Characteristic Atoms and Global Trees
    Download  repository.readscheme.org
    Recently, considerable advances have been made in the (on-line) control of logic program specialisation. A clear conceptual distinction has been established between local and glob...
    Michael Leuschel, Bern Martens
    claim paper
    Read More »
    IJCAI
    1993
    96views Artificial Intelligence» more  IJCAI 1993»
    The Range of Applicability of Nonmonotonic Logics for the Inertia Problem
    14 years 11 months ago
    The Range of Applicability of Nonmonotonic Logics for the Inertia Problem
    Download  dli.iiit.ac.in
    We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
    Erik Sandewall
    claim paper
    Read More »
    NIPS
    1993
    134views Information Technology» more  NIPS 1993»
    Using Local Trajectory Optimizers to Speed Up Global Optimization in Dynamic Programming
    14 years 11 months ago
    Using Local Trajectory Optimizers to Speed Up Global Optimization in Dynamic Programming
    Download  www.cs.cmu.edu
    Dynamic programming provides a methodology to develop planners and controllers for nonlinear systems. However, general dynamic programming is computationally intractable. We have ...
    Christopher G. Atkeson
    claim paper
    Read More »
    NAACL
    1994
    109views Computational Linguistics» more  NAACL 1994»
    The Hub and Spoke Paradigm for CSR Evaluation
    14 years 11 months ago
    The Hub and Spoke Paradigm for CSR Evaluation
    Download  acl.ldc.upenn.edu
    In this paper, we introduce the new paradigm used in the most recent ARPA-sponsoredContinuousSpeech Recognition(CSR) evaluation and then discuss the important features of the test...
    Francis Kubala, Jerome R. Bellegarda, Jordan Cohen...
    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-2025, USA.