Sciweavers

    13277 search results - page 180 / 2656
    » An Approach to Clustering Abstracts
    Sort
    View
    WOB
    2008
    128views Bioinformatics» more  WOB 2008»
    Tests for Gene Clusters Satisfying the Generalized Adjacency Criterion
    14 years 6 days ago
    Tests for Gene Clusters Satisfying the Generalized Adjacency Criterion
    Download  albuquerque.bioinformatics.uottawa.ca
    Abstract. We study a parametrized definition of gene clusters that permits control over the trade-off between increasing gene content versus conserving gene order within a cluster....
    Ximing Xu, David Sankoff
    claim paper
    Read More »
    TOPLAS
    2008
    138views more  TOPLAS 2008»
    Decomposing bytecode verification by abstract interpretation
    13 years 10 months ago
    Decomposing bytecode verification by abstract interpretation
    Download  www.iet.unipi.it
    act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...
    Cinzia Bernardeschi, Nicoletta De Francesco, Giuse...
    claim paper
    Read More »
    ICPR
    2004
    IEEE
    149views computer vision» more  ICPR 2004»
    Object Class Recognition using Images of Abstract Regions
    14 years 12 months ago
    Object Class Recognition using Images of Abstract Regions
    Download  ssli.ee.washington.edu
    lass Recognition using Images of Abstract Regions Yi Li, Jeff A. Bilmes, and Linda G. Shapiro Department of Computer Science and Engineering Department of Electrical Engineering Un...
    Jeff A. Bilmes, Linda G. Shapiro, Yi Li
    claim paper
    Read More »
    ICCAD
    2004
    IEEE
    191views Hardware» more  ICCAD 2004»
    Checking consistency of C and Verilog using predicate abstraction and induction
    14 years 7 months ago
    Checking consistency of C and Verilog using predicate abstraction and induction
    Download  reports-archive.adm.cs.cmu.edu
    edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
    Daniel Kroening, Edmund M. Clarke
    claim paper
    Read More »
    DAC
    2004
    ACM
    225views Computer Architecture» more  DAC 2004»
    Abstraction of assembler programs for symbolic worst case execution time analysis
    14 years 11 months ago
    Abstraction of assembler programs for symbolic worst case execution time analysis
    Download  es.cs.uni-kl.de
    ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele Tobias.Schuele@informatik.uni-kl.de Klaus Schneider Klaus.Schneider@informatik.uni-kl.de Re...
    Klaus Schneider, Tobias Schüle
    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.