Sciweavers

    page 349 / 60054
    » publications
    Sort
    View
    158
    Voted
    PSTV
    1993
    85views Hardware» more  PSTV 1993»
    An Engineering Approach to Formal Methods
    15 years 8 months ago
    An Engineering Approach to Formal Methods
    Download  www.cs.stir.ac.uk
    Kenneth J. Turner
    claim paper
    Read More »
    179
    Voted
    SODA
    1993
    ACM
    105views Algorithms» more  SODA 1993»
    Fast Construction of Irreducible Polynomials over Finite Fields
    15 years 8 months ago
    Fast Construction of Irreducible Polynomials over Finite Fields
    Download  perso.univ-rennes1.fr
    Victor Shoup
    claim paper
    Read More »
    132
    Voted
    SODA
    1994
    ACM
    93views Algorithms» more  SODA 1994»
    Clustering for Faster Network Simplex Pivots
    15 years 8 months ago
    Clustering for Faster Network Simplex Pivots
    Download  comptop.stanford.edu
    David Eppstein
    claim paper
    Read More »
    148
    Voted
    SODA
    1996
    ACM
    102views Algorithms» more  SODA 1996»
    On RAM Priority Queues
    15 years 8 months ago
    On RAM Priority Queues
    Download  www.cs.colostate.edu
    Mikkel Thorup
    claim paper
    Read More »
    ALPUK
    1990
    86views more  ALPUK 1990»
    Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming
    15 years 8 months ago
    Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming
    Download  www.macs.hw.ac.uk
    Hamish Taylor
    claim paper
    Read More »
    « Prev « First page 349 / 60054 Last » Next »
    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.