Sciweavers

    485 search results - page 6 / 97
    » Biometrics: A Grand Challenge
    Sort
    View
    VMCAI
    2005
    Springer
    112views Software Engineering» more  VMCAI 2005»
    The Verifying Compiler, a Grand Challenge for Computing Research
    15 years 5 months ago
    The Verifying Compiler, a Grand Challenge for Computing Research
    Download  asimod.in.tum.de
    C. A. R. Hoare
    claim paper
    Read More »
    VSTTE
    2005
    Springer
    100views Software Engineering» more  VSTTE 2005»
    Decision Procedures for the Grand Challenge
    15 years 5 months ago
    Decision Procedures for the Grand Challenge
    Download  vstte.ethz.ch
    Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...
    Daniel Kroening
    claim paper
    Read More »
    BCS
    2008
    108views Computer Science» more  BCS 2008»
    Grand Challenge 7: Journeys in Non-Classical Computation
    15 years 1 months ago
    Grand Challenge 7: Journeys in Non-Classical Computation
    Download  www-users.cs.york.ac.uk
    Susan Stepney, Samson Abramsky, Andy Adamatzky, Co...
    claim paper
    Read More »
    JFR
    2006
    70views more  JFR 2006»
    Stanley: The robot that won the DARPA Grand Challenge
    14 years 11 months ago
    Stanley: The robot that won the DARPA Grand Challenge
    Download  robots.stanford.edu
    Sebastian Thrun, Michael Montemerlo, Hendrik Dahlk...
    claim paper
    Read More »
    JFR
    2006
    66views more  JFR 2006»
    SciAutonics-Auburn Engineering's low-cost high-speed ATV for the 2005 DARPA grand challenge
    14 years 11 months ago
    SciAutonics-Auburn Engineering's low-cost high-speed ATV for the 2005 DARPA grand challenge
    Download  www.eng.auburn.edu
    William Travis, Robert Daily, David M. Bevly, Kevi...
    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.