Sciweavers

    17129 search results - page 268 / 3426
    » Applied Computing
    Sort
    View
    BIRTHDAY
    2006
    Springer
    103views Applied Computing» more  BIRTHDAY 2006»
    Survey of Disjoint NP-pairs and Relations to Propositional Proof Systems
    15 years 10 months ago
    Survey of Disjoint NP-pairs and Relations to Propositional Proof Systems
    Download  www.cse.buffalo.edu
    Christian Glaßer, Alan L. Selman, Liyu Zhang
    claim paper
    Read More »
    BIRTHDAY
    2006
    Springer
    88views Applied Computing» more  BIRTHDAY 2006»
    A Functorial Framework for Constraint Normal Logic Programming
    15 years 10 months ago
    A Functorial Framework for Constraint Normal Logic Programming
    Download  www.sc.ehu.es
    Paqui Lucio, Fernando Orejas, Edelmira Pasarella, ...
    claim paper
    Read More »
    BIRTHDAY
    2006
    Springer
    78views Applied Computing» more  BIRTHDAY 2006»
    Abstract Counterexample-Based Refinement for Powerset Domains
    15 years 10 months ago
    Abstract Counterexample-Based Refinement for Powerset Domains
    Download  mtc.epfl.ch
    Roman Manevich, John Field, Thomas A. Henzinger, G...
    claim paper
    Read More »
    BIRTHDAY
    2006
    Springer
    194views Applied Computing» more  BIRTHDAY 2006»
    An Appreciation of the Work of Reinhard Wilhelm
    15 years 10 months ago
    An Appreciation of the Work of Reinhard Wilhelm
    Download  www.model.in.tum.de
    Thomas W. Reps, Mooly Sagiv, Jörg Bauer
    claim paper
    Read More »
    CIG
    2006
    IEEE
    181views Applied Computing» more  CIG 2006»
    The Effect of Using Match History on the Evolution of RoboCup Soccer Team Strategies
    15 years 10 months ago
    The Effect of Using Match History on the Evolution of RoboCup Soccer Team Strategies
    Download  www.eng.osakafu-u.ac.jp
    Tomoharu Nakashima, Hisao Ishibuchi, Masahiro Taka...
    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.