Sciweavers

    8025 search results - page 14 / 1605
    » Combinators Introduction: An Algorithm
    Sort
    View
    94
    Voted
    ENTCS
    2006
    122views more  ENTCS 2006»
    Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools
    14 years 9 months ago
    Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools
    Download  www.cs.famaf.unc.edu.ar
    We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
    Damián Barsotti, Leonor Prensa Nieto, Alwen...
    claim paper
    Read More »
    EAAI
    2007
    103views more  EAAI 2007»
    Particle swarm-based optimal partitioning algorithm for combinational CMOS circuits
    14 years 9 months ago
    Particle swarm-based optimal partitioning algorithm for combinational CMOS circuits
    Download  comp.uark.edu
    This paper presents a swarm intelligence based approach to optimally partition combinational CMOS circuits for pseudoexhaustive testing. The partitioning algorithm ensures reducti...
    Ganesh K. Venayagamoorthy, Scott C. Smith, Gaurav ...
    claim paper
    Read More »
    EVOW
    2007
    Springer
    164views Artificial Intelligence» more  EVOW 2007»
    Combining Lagrangian Decomposition with an Evolutionary Algorithm for the Knapsack Constrained Maximum Spanning Tree Problem
    15 years 3 months ago
    Combining Lagrangian Decomposition with an Evolutionary Algorithm for the Knapsack Constrained Maximum Spanning Tree Problem
    Download  www.ads.tuwien.ac.at
    We present a Lagrangian decomposition approach for the Knapsack Constrained Maximum Spanning Tree problem yielding upper bounds as well as heuristic solutions. This method is furth...
    Sandro Pirkwieser, Günther R. Raidl, Jakob Pu...
    claim paper
    Read More »
    MLDM
    2007
    Springer
    203views Machine Learning» more  MLDM 2007»
    Color Reduction Using the Combination of the Kohonen Self-Organized Feature Map and the Gustafson-Kessel Fuzzy Algorithm
    15 years 3 months ago
    Color Reduction Using the Combination of the Kohonen Self-Organized Feature Map and the Gustafson-Kessel Fuzzy Algorithm
    Download  www.ibai-publishing.org
    The color reduction in digital images is an active research area in digital image processing. In many applications such as image segmentation, analysis, compression and transmissio...
    Konstantinos Zagoris, Nikos Papamarkos, Ioannis Ko...
    claim paper
    Read More »
    BIBE
    2007
    IEEE
    136views Bioinformatics» more  BIBE 2007»
    A Two-Stage Gene Selection Algorithm by Combining ReliefF and mRMR
    14 years 11 months ago
    A Two-Stage Gene Selection Algorithm by Combining ReliefF and mRMR
    Download  users.cs.fiu.edu
    Abstract—Gene expression data usually contains a large number of genes, but a small number of samples. Feature selection for gene expression data aims at finding a set of genes ...
    Yi Zhang, Chris H. Q. Ding, Tao Li
    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-2025, USA.