Sciweavers

    9370 search results - page 1817 / 1874
    » An Abstract Notion of Application
    Sort
    View
    LICS
    1991
    IEEE
    159views Automated Reasoning» more  LICS 1991»
    On the Deduction Rule and the Number of Proof Lines
    13 years 11 months ago
    On the Deduction Rule and the Number of Proof Lines
    Download  math.ucsd.edu
    d Abstract) Maria Luisa Bonet∗ Samuel R. Buss∗ Department of Mathematics Department of Mathematics U.C. Berkeley U.C. San Diego Berkeley, California 94720 La Jolla, California ...
    Maria Luisa Bonet, Samuel R. Buss
    claim paper
    Read More »
    MUC
    1991
    104views Natural Language Processing» more  MUC 1991»
    University of Massachusetts: description of the CIRCUS system as used for MUC-3
    13 years 11 months ago
    University of Massachusetts: description of the CIRCUS system as used for MUC-3
    Download  www.aclweb.org
    ind this work was to extract a relatively abstract level of information from each sentence , using only a limited vocabulary that was hand-crafted to handle a restricted set of tar...
    Wendy G. Lehnert, Claire Cardie, David Fisher, Ell...
    claim paper
    Read More »
    SCA
    2007
    160views Computer Graphics» more  SCA 2007»
    Deformation styles for spline-based skeletal animation
    13 years 10 months ago
    Deformation styles for spline-based skeletal animation
    Download  www.gpstraces.com
    We present a novel skinned skeletal animation system based on spline-aligned deformations for providing high quality and fully designable deformations in real-time. Our ambition i...
    Sven Forstmann, Jun Ohya, Artus Krohn-Grimberghe, ...
    claim paper
    Read More »
    VISSYM
    2007
    143views Visualization» more  VISSYM 2007»
    A Tri-Space Visualization Interface for Analyzing Time-Varying Multivariate Volume Data
    13 years 10 months ago
    A Tri-Space Visualization Interface for Analyzing Time-Varying Multivariate Volume Data
    Download  vis.cs.ucdavis.edu
    The dataset generated by a large-scale numerical simulation may include thousands of timesteps and hundreds of variables describing different aspects of the modeled physical pheno...
    Hiroshi Akiba, Kwan-Liu Ma
    claim paper
    Read More »
    NSDI
    2007
    132views Computer Networks» more  NSDI 2007»
    Tesseract: A 4D Network Control Plane
    13 years 10 months ago
    Tesseract: A 4D Network Control Plane
    Download  www.cs.cmu.edu
    We present Tesseract, an experimental system that enables the direct control of a computer network that is under a single administrative domain. Tesseract’s design is based on t...
    Hong Yan, David A. Maltz, T. S. Eugene Ng, Hemant ...
    claim paper
    Read More »
    « Prev « First page 1817 / 1874 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.