Sciweavers

    12015 search results - page 62 / 2403
    » Interactive Algorithms 2005
    Sort
    View
    73
    Voted
    TPHOL
    2005
    IEEE
    79views Automated Reasoning» more  TPHOL 2005»
    Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS
    15 years 8 months ago
    Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS
    Download  www.cs.york.ac.uk
    Néstor Cataño
    claim paper
    Read More »
    ITICSE
    2005
    ACM
    98views Theoretical Computer Science» more  ITICSE 2005»
    Exploring students' understanding of the concept of algorithm: levels of abstraction
    15 years 8 months ago
    Exploring students' understanding of the concept of algorithm: levels of abstraction
    Download  www.win.tue.nl
    Jacob Perrenet, Jan Friso Groote, Eric Kaasenbrood
    claim paper
    Read More »
    105
    Voted
    PASTE
    2005
    ACM
    120views Software Engineering» more  PASTE 2005»
    A concept analysis inspired greedy algorithm for test suite minimization
    15 years 8 months ago
    A concept analysis inspired greedy algorithm for test suite minimization
    Download  groups.csail.mit.edu
    Sriraman Tallam, Neelam Gupta
    claim paper
    Read More »
    78
    Voted
    SIGCOMM
    2005
    ACM
    129views Communications» more  SIGCOMM 2005»
    Algorithms for advanced packet classification with ternary CAMs
    15 years 8 months ago
    Algorithms for advanced packet classification with ternary CAMs
    Download  conferences.sigcomm.org
    Karthik Lakshminarayanan, Anand Rangarajan, Sriniv...
    claim paper
    Read More »
    97
    Voted
    AE
    2005
    Springer
    87views Artificial Intelligence» more  AE 2005»
    A Cooperative Multilevel Tabu Search Algorithm for the Covering Design Problem
    15 years 8 months ago
    A Cooperative Multilevel Tabu Search Algorithm for the Covering Design Problem
    Download  www.crt.umontreal.ca
    Chaoying Dai, Pak Ching Li, Michel Toulouse
    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.