Sciweavers

    IPL
    2008
    61views more  IPL 2008»
    On the complexity of partial order trace model checking
    14 years 13 days ago
    On the complexity of partial order trace model checking
    Download  www.ulb.ac.be
    Thierry Massart, Cédric Meuter, Laurent Van...
    claim paper
    Read More »
    IPL
    2008
    84views more  IPL 2008»
    Minimal proper interval completions
    14 years 13 days ago
    Minimal proper interval completions
    Download  www.dim.uchile.cl
    Given an arbitrary graph G = (V, E) and a proper interval graph H = (V, F) with E F we say that H is a proper interval completion of G. The graph H is called a minimal proper inte...
    Ivan Rapaport, Karol Suchan, Ioan Todinca
    claim paper
    Read More »
    IPL
    2008
    58views more  IPL 2008»
    Streaming algorithm for graph spanners - single pass and constant processing time per edge
    14 years 13 days ago
    Streaming algorithm for graph spanners - single pass and constant processing time per edge
    Download  www.cse.iitk.ac.in
    Surender Baswana
    claim paper
    Read More »
    IPL
    2008
    86views more  IPL 2008»
    A more efficient algorithm for perfect sorting by reversals
    14 years 13 days ago
    A more efficient algorithm for perfect sorting by reversals
    Download  www.cecm.sfu.ca
    We describe a new algorithm for the problem of perfect sorting a signed permutation by reversals. The worst-case time complexity of this algorithm is parameterized by the maximum p...
    Sèverine Bérard, Cedric Chauve, Chri...
    claim paper
    Read More »
    IPL
    2008
    72views more  IPL 2008»
    Reducing communication costs in robust peer-to-peer networks
    14 years 13 days ago
    Reducing communication costs in robust peer-to-peer networks
    Download  www.maxwellyoung.net
    Several recent research results describe how to design Distributed Hash Tables (DHTs) that are robust to adversarial attack via Byzantine faults. Unfortunately, all of these resul...
    Jared Saia, Maxwell Young
    claim paper
    Read More »
    IPL
    2008
    91views more  IPL 2008»
    Well-balanced orientations of mixed graphs
    14 years 13 days ago
    Well-balanced orientations of mixed graphs
    Download  www.ulb.ac.be
    We show that deciding if a mixed graph has a well-balanced orientation is NP-complete.
    Attila Bernáth, Gwenaël Joret
    claim paper
    Read More »
    IPL
    2008
    95views more  IPL 2008»
    Approximating maximum satisfiable subsystems of linear equations of bounded width
    14 years 13 days ago
    Approximating maximum satisfiable subsystems of linear equations of bounded width
    Download  www.openu.ac.il
    We consider the problem known as MAX-SATISFY: given a system of m linear equations over the rationals, find a maximum set of equations that can be satisfied. Let r be the width of...
    Zeev Nutov, Daniel Reichman
    claim paper
    Read More »
    IPL
    2008
    79views more  IPL 2008»
    The probability of "undefined" (non-converging) output in generating the universal probability distribution
    14 years 13 days ago
    The probability of "undefined" (non-converging) output in generating the universal probability distribution
    Download  world.std.com
    In order to generate a universal probability distribution to extrapolate a binary string x of length i, we feed random bits into a universal device, M. When we find an input strin...
    Ray J. Solomonoff
    claim paper
    Read More »
    IPL
    2008
    51views more  IPL 2008»
    On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion
    14 years 13 days ago
    On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion
    Download  www.brics.dk
    Olivier Danvy, Kevin Millikin
    claim paper
    Read More »
    IPL
    2008
    131views more  IPL 2008»
    Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
    14 years 13 days ago
    Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
    Download  neo.lcc.uma.es
    In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...
    J. Francisco Chicano, Enrique Alba
    claim paper
    Read More »
    « first‹ previous123456789next ›last »
    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.