Sciweavers

    27119 search results - page 5367 / 5424
    » Languages
    Sort
    View
    ASE
    2005
    137views more  ASE 2005»
    Rewriting-Based Techniques for Runtime Verification
    14 years 11 months ago
    Rewriting-Based Techniques for Runtime Verification
    Download  www.havelund.com
    Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
    Grigore Rosu, Klaus Havelund
    claim paper
    Read More »
    IPM
    2007
    85views more  IPM 2007»
    A retrospective study of a hybrid document-context based retrieval model
    14 years 11 months ago
    A retrospective study of a hybrid document-context based retrieval model
    Download  dblab.mgt.ncu.edu.tw
    This paper describes our novel retrieval model that is based on contexts of query terms in documents (i.e., document contexts). Our model is novel because it explicitly takes into...
    Ho Chung Wu, Robert W. P. Luk, Kam-Fai Wong, K. L....
    claim paper
    Read More »
    IPM
    2007
    95views more  IPM 2007»
    Using structural contexts to compress semistructured text collections
    14 years 11 months ago
    Using structural contexts to compress semistructured text collections
    Download  www.dcc.uchile.cl
    We describe a compression model for semistructured documents, called Structural Contexts Model (SCM), which takes advantage of the context information usually implicit in the stru...
    Joaquín Adiego, Gonzalo Navarro, Pablo de l...
    claim paper
    Read More »
    TECS
    2008
    119views more  TECS 2008»
    Fast exploration of bus-based communication architectures at the CCATB abstraction
    14 years 11 months ago
    Fast exploration of bus-based communication architectures at the CCATB abstraction
    Download  www.engr.colostate.edu
    straction SUDEEP PASRICHA and NIKIL DUTT University of California, Irvine and MOHAMED BEN-ROMDHANE Newport Media Inc. Currently, system-on-chip (SoC) designs are becoming increasin...
    Sudeep Pasricha, Nikil Dutt, Mohamed Ben-Romdhane
    claim paper
    Read More »
    ITPRO
    2007
    101views more  ITPRO 2007»
    Beyond Search: Content Applications
    14 years 11 months ago
    Beyond Search: Content Applications
    Download  www.marklogic.com
    Federation of Abstracting and Information Services presentation (“TheThomsonTransformation: Remaking a Global 500 Company,” http://www. nfais.org/TurnerNFAIS06.ppt). Now conten...
    Stephen Buxton
    claim paper
    Read More »
    « Prev « First page 5367 / 5424 Last » Next »
    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.