Sciweavers

    2932 search results - page 43 / 587
    » Higher order mining
    Sort
    View
    APLAS
    2005
    ACM
    91views Programming Languages» more  APLAS 2005»
    Termination Analysis of Higher-Order Functional Programs
    15 years 10 months ago
    Termination Analysis of Higher-Order Functional Programs
    Download  metacomp.comlab.ox.ac.uk
    Damien Sereni, Neil D. Jones
    claim paper
    Read More »
    CHES
    2005
    Springer
    123views Cryptology» more  CHES 2005»
    Improved Higher-Order Side-Channel Attacks with FPGA Experiments
    15 years 10 months ago
    Improved Higher-Order Side-Channel Attacks with FPGA Experiments
    Download  www.iacr.org
    We demonstrate that masking a block cipher implementation does not sufficiently improve its security against side-channel attacks. Under exactly the same hypotheses as in a Differ...
    Eric Peeters, François-Xavier Standaert, Ni...
    claim paper
    Read More »
    DAGM
    2005
    Springer
    114views Image Processing» more  DAGM 2005»
    Stability and Local Feature Enhancement of Higher Order Nonlinear Diffusion Filtering
    15 years 10 months ago
    Stability and Local Feature Enhancement of Higher Order Nonlinear Diffusion Filtering
    Download  www.mia.uni-saarland.de
    Stephan Didas, Joachim Weickert, Bernhard Burgeth
    claim paper
    Read More »
    ESA
    2005
    Springer
    104views Algorithms» more  ESA 2005»
    Generating Realistic Terrains with Higher-Order Delaunay Triangulations
    15 years 10 months ago
    Generating Realistic Terrains with Higher-Order Delaunay Triangulations
    Download  www.cs.uu.nl
    Thierry de Kok, Marc J. van Kreveld, Maarten L&oum...
    claim paper
    Read More »
    ESOP
    2005
    Springer
    159views Programming Languages» more  ESOP 2005»
    BI Hyperdoctrines and Higher-Order Separation Logic
    15 years 10 months ago
    BI Hyperdoctrines and Higher-Order Separation Logic
    Download  www.itu.dk
    Bodil Biering, Lars Birkedal, Noah Torp-Smith
    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.