Sciweavers

    2564 search results - page 408 / 513
    » Witness sets of projections
    Sort
    View
    AAAI
    1996
    139views Intelligent Agents» more  AAAI 1996»
    Robot Navigation Using Image Sequences
    13 years 10 months ago
    Robot Navigation Using Image Sequences
    Download  www.aaai.org
    We describe a framework for robot navigation that exploits the continuity of image sequences. Tracked visual features both guide the robot and provide predictive information about...
    Christopher Rasmussen, Gregory D. Hager
    claim paper
    Read More »
    ACL
    1996
    115views Computational Linguistics» more  ACL 1996»
    Generating an LTAG out of a Principle-based Hierarchical Representation
    13 years 10 months ago
    Generating an LTAG out of a Principle-based Hierarchical Representation
    Download  www.aclweb.org
    Lexicalized Tree Adjoining Grammars have proved useful for NLP. However, numerous redundancy problems face LTAGs developers, as highlighted by Vijay-Shanker and Schabes (92). We p...
    Marie-Hélène Candito
    claim paper
    Read More »
    FORTE
    1994
    103views Formal Methods» more  FORTE 1994»
    Proving the value of formal methods
    13 years 10 months ago
    Proving the value of formal methods
    Download  spinroot.com
    The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
    Gerard J. Holzmann
    claim paper
    Read More »
    IQ
    1996
    116views Information Technology» more  IQ 1996»
    A TQM Approach to the Improvement of Information Quality
    13 years 10 months ago
    A TQM Approach to the Improvement of Information Quality
    Download  mitiq.mit.edu
    There is a consistent gap between users expectations regarding Information Quality (IQ) and the perceived quality of the information they are using. An explicit approach to IQ is ...
    Ron Dvir, Stephen Evans
    claim paper
    Read More »
    ISMB
    1993
    138views Computational Biology» more  ISMB 1993»
    MultiMap: An Expert System for Automated Genetic Linkage Mapping
    13 years 10 months ago
    MultiMap: An Expert System for Automated Genetic Linkage Mapping
    Download  www.aaai.org
    Withthe advent of the HumanGenomeProject. the ability to rapidly construct comprehensiveand accuratelinkage mapsbasedongenetic markerdata fromfamily studies is an absolute necessi...
    Tara Cox Matise, Mark Perlin, Aravinda Chakravarti
    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-2024, USA.