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 11 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 11 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 7 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
    15 years 6 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
    15 years 6 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
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.