Sciweavers

    ITA
    2007
    118views Communications» more  ITA 2007»
    Uniformly bounded duplication codes
    14 years 10 days ago
    Uniformly bounded duplication codes
    Download  www.wortspieler.org
    Duplication is the replacement of a factor w within a word by ww. This operation can be used iteratively to generate languages starting from words or sets of words. By undoing dupl...
    Peter Leupold, Victor Mitrana
    claim paper
    Read More »
    ITA
    2007
    85views Communications» more  ITA 2007»
    An algorithm for deciding if a polyomino tiles the plane
    14 years 10 days ago
    An algorithm for deciding if a polyomino tiles the plane
    Download  www.lama.univ-savoie.fr
    : For polyominoes coded by their boundary word, we describe a quadratic O(n2) algorithm in the boundary length n which improves the naive O(n4) algorithm. Techniques used emanate f...
    Ian Gambini, Laurent Vuillon
    claim paper
    Read More »
    ITA
    2007
    84views Communications» more  ITA 2007»
    On substitution invariant Sturmian words: an application of Rauzy fractals
    14 years 10 days ago
    On substitution invariant Sturmian words: an application of Rauzy fractals
    Download  www.lirmm.fr
    Valérie Berthé, Hiromi Ei, Shunji It...
    claim paper
    Read More »
    ITA
    2007
    153views Communications» more  ITA 2007»
    Deciding inclusion of set constants over infinite non-strict data structures
    14 years 10 days ago
    Deciding inclusion of set constants over infinite non-strict data structures
    Download  www.ki.informatik.uni-frankfurt.de
    Abstract. Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...
    Manfred Schmidt-Schauß, David Sabel, Marko S...
    claim paper
    Read More »
    ITA
    2007
    75views Communications» more  ITA 2007»
    Substitutions par des motifs en dimension 1
    14 years 10 days ago
    Substitutions par des motifs en dimension 1
    Download  iml.univ-mrs.fr
    N. Pytheas Fogg
    claim paper
    Read More »
    ITA
    2007
    80views Communications» more  ITA 2007»
    Recursive coalgebras of finitary functors
    14 years 10 days ago
    Recursive coalgebras of finitary functors
    Download  www.ra.informatik.uni-stuttgart.de
    Abstract For finitary set functors preserving inverse images several concepts of coalgebras A are proved to be equivalent: (i) A has a homomorphism into the initial algebra, (ii) ...
    Jirí Adámek, Dominik Lücke, Ste...
    claim paper
    Read More »
    ITA
    2007
    94views Communications» more  ITA 2007»
    Fast and correctly rounded logarithms in double-precision
    14 years 10 days ago
    Fast and correctly rounded logarithms in double-precision
    Download  www.ens-lyon.fr
    Florent de Dinechin, Christoph Quirin Lauter, Jean...
    claim paper
    Read More »
    ITA
    2007
    101views Communications» more  ITA 2007»
    Learning tree languages from text
    14 years 10 days ago
    Learning tree languages from text
    Download  www.informatik.uni-trier.de
    We study the problem of learning regular tree languages from text. We show that the framework of function distinguishability as introduced by the author in Theoretical Computer Sc...
    Henning Fernau
    claim paper
    Read More »
    ITA
    2007
    104views Communications» more  ITA 2007»
    Automata, Borel functions and real numbers in Pisot base
    14 years 10 days ago
    Automata, Borel functions and real numbers in Pisot base
    Download  www.informatik.uni-trier.de
    This note is about functions f : Aω → Bω whose graph is recognized by a B¨uchi finite automaton on the product alphabet A × B. These functions are Baire class 2 in the Bair...
    Benoit Cagnard, Pierre Simonnet
    claim paper
    Read More »
    ITA
    2007
    74views Communications» more  ITA 2007»
    A graph approach to computing nondeterminacy in substitutional dynamical systems
    14 years 10 days ago
    A graph approach to computing nondeterminacy in substitutional dynamical systems
    Download  www.math.ku.dk
    Toke M. Carlsen, Søren Eilers
    claim paper
    Read More »
    12next ›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.