Sciweavers

    12052 search results - page 76 / 2411
    » computer 2010
    Sort
    View
    118
    Voted
    FAC
    2010
    93views more  FAC 2010»
    Verification and falsification of programs with loops using predicate abstraction
    15 years 25 days ago
    Verification and falsification of programs with loops using predicate abstraction
    Download  www.kroening.com
    Daniel Kroening, Georg Weissenbacher
    claim paper
    Read More »
    121
    Voted
    CCDS
    2010
    103views more  CCDS 2010»
    Some REALLY beautiful Hadamard matrices
    15 years 6 days ago
    Some REALLY beautiful Hadamard matrices
    Download  larmor.nuigalway.ie
    J. F. Dillon
    claim paper
    Read More »
    101
    Voted
    CCDS
    2010
    92views more  CCDS 2010»
    Some remarks on Hadamard matrices
    14 years 10 months ago
    Some remarks on Hadamard matrices
    Download  www.uow.edu.au
    Jennifer Seberry, Marilena Mitrouli
    claim paper
    Read More »
    142
    Voted
    CGF
    2010
    124views more  CGF 2010»
    Letters to the Editors
    14 years 10 months ago
    Letters to the Editors
    Download  www.lastwordonnothing.com
    Thomas J. Peters, Ph. D
    claim paper
    Read More »
    102
    Voted
    NECO
    2010
    75views more  NECO 2010»
    How to Modify a Neural Network Gradually Without Changing Its Input-Output Functionality
    14 years 10 months ago
    How to Modify a Neural Network Gradually Without Changing Its Input-Output Functionality
    Download  www.jhu.edu
    Christopher DiMattina, Kechen Zhang
    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.