Sciweavers

    IJFCS
    2008
    81views more  IJFCS 2008»
    Reachability Analysis in Verification via Supercompilation
    13 years 11 months ago
    Reachability Analysis in Verification via Supercompilation
    Download  www.botik.ru
    Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
    Alexei Lisitsa, Andrei P. Nemytykh
    claim paper
    Read More »
    IJFCS
    2008
    166views more  IJFCS 2008»
    Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems
    13 years 11 months ago
    Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems
    Download  cc.ee.ntu.edu.tw
    The conventional forbidden state problem for discrete event systems is concerned with the issue of synthesizing a maximally permissive control policy to prevent a discrete event s...
    Hsu-Chun Yen
    claim paper
    Read More »
    IJFCS
    2008
    158views more  IJFCS 2008»
    An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems
    13 years 11 months ago
    An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems
    Download  www.cse.iitk.ac.in
    Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
    Anil Seth
    claim paper
    Read More »
    IJFCS
    2008
    108views more  IJFCS 2008»
    On the Computation of the Relative Entropy of Probabilistic Automata
    13 years 11 months ago
    On the Computation of the Relative Entropy of Probabilistic Automata
    Download  www.cs.nyu.edu
    Corinna Cortes, Mehryar Mohri, Ashish Rastogi, Mic...
    claim paper
    Read More »
    IJFCS
    2008
    110views more  IJFCS 2008»
    Indexing Gapped-Factors Using a Tree
    13 years 11 months ago
    Indexing Gapped-Factors Using a Tree
    Download  hal.inria.fr
    We present a data structure to index a specific kind of factors, that is of substrings, called gapped-factors. A gapped-factor is a factor containing a gap that is ignored during ...
    Pierre Peterlongo, Julien Allali, Marie-France Sag...
    claim paper
    Read More »
    IJFCS
    2008
    102views more  IJFCS 2008»
    Succinct Minimal Generators: Theoretical Foundations and Applications
    13 years 11 months ago
    Succinct Minimal Generators: Theoretical Foundations and Applications
    Download  www.cril.univ-artois.fr
    In data mining applications, highly sized contexts are handled what usually results in a considerably large set of frequent itemsets, even for high values of the minimum support t...
    Tarek Hamrouni, Sadok Ben Yahia, Engelbert Mephu N...
    claim paper
    Read More »
    IJFCS
    2008
    130views more  IJFCS 2008»
    Equivalence of Labeled Markov Chains
    13 years 11 months ago
    Equivalence of Labeled Markov Chains
    Download  mtc.epfl.ch
    We consider the equivalence problem for labeled Markov chains (LMCs), where each state is labeled with an observation. Two LMCs are equivalent if every finite sequence of observat...
    Laurent Doyen, Thomas A. Henzinger, Jean-Fran&cced...
    claim paper
    Read More »
    IJFCS
    2008
    68views more  IJFCS 2008»
    On Some Combinatorial Problems Concerning the Harmonic Structure of Musical Chord Sequences
    13 years 11 months ago
    On Some Combinatorial Problems Concerning the Harmonic Structure of Musical Chord Sequences
    Download  www.stringology.org
    Domenico Cantone, Salvatore Cristofaro, Simone Far...
    claim paper
    Read More »
    IJFCS
    2008
    63views more  IJFCS 2008»
    A Normal Form for First-Order Logic over Doubly-Linked Data Structures
    13 years 11 months ago
    A Normal Form for First-Order Logic over Doubly-Linked Data Structures
    Download  www.newton.ac.uk
    Steven Lindell
    claim paper
    Read More »
    IJFCS
    2008
    59views more  IJFCS 2008»
    A Survey on Small Fragments of First-Order Logic over Finite Words
    13 years 11 months ago
    A Survey on Small Fragments of First-Order Logic over Finite Words
    Download  www.fmi.uni-stuttgart.de
    Volker Diekert, Paul Gastin, Manfred Kufleitner
    claim paper
    Read More »
    « first‹ previous123next ›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.