Sciweavers

    110 search results - page 4 / 22
    » Interleaved Depth-First Search
    Sort
    View
    IJCAI
    2007
    189views Artificial Intelligence» more  IJCAI 2007»
    Lambda Depth-First Proof Number Search and Its Application to Go
    13 years 10 months ago
    Lambda Depth-First Proof Number Search and Its Application to Go
    Download  ijcai.org
    Kazuki Yoshizoe, Akihiro Kishimoto, Martin Mü...
    claim paper
    Read More »
    OPODIS
    2004
    76views Distributed And Parallel Com...» more  OPODIS 2004»
    Snap-Stabilizing Depth-First Search on Arbitrary Networks
    13 years 9 months ago
    Snap-Stabilizing Depth-First Search on Arbitrary Networks
    Download  www-verimag.imag.fr
    Alain Cournier, Stéphane Devismes, Franck P...
    claim paper
    Read More »
    TOIS
    2012
    206views Data Mining» more  TOIS 2012»
    Large-scale validation and analysis of interleaved search evaluation
    11 years 11 months ago
    Large-scale validation and analysis of interleaved search evaluation
    Download  olivier.chapelle.cc
    Olivier Chapelle, Thorsten Joachims, Filip Radlins...
    claim paper
    Read More »
    DDECS
    2007
    IEEE
    175views Hardware» more  DDECS 2007»
    Analyzing Test and Repair Times for 2D Integrated Memory Built-in Test and Repair
    14 years 2 months ago
    Analyzing Test and Repair Times for 2D Integrated Memory Built-in Test and Repair
    Download  www.date.uni-paderborn.de
    —An efficient on-chip infrastructure for memory test and repair is crucial to enhance yield and availability of SoCs. A commonly used repair strategy is to equip memories with sp...
    Philipp Öhler, Sybille Hellebrand, Hans-Joach...
    claim paper
    Read More »
    TIME
    2005
    IEEE
    147views Automated Reasoning» more  TIME 2005»
    Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity
    14 years 2 months ago
    Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity
    Download  www2.wmin.ac.uk
    A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
    Artie Basukoski, Alexander Bolotov
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.