Sciweavers

    1077 search results - page 106 / 216
    » Management of Evolving Specifications using Category Theory
    Sort
    View
    SIGSOFT
    2007
    ACM
    167views Software Engineering» more  SIGSOFT 2007»
    The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties
    14 years 10 months ago
    The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties
    Download  home.dei.polimi.it
    Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
    Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...
    claim paper
    Read More »
    KDD
    2008
    ACM
    146views Data Mining» more  KDD 2008»
    Spotting out emerging artists using geo-aware analysis of P2P query strings
    14 years 9 months ago
    Spotting out emerging artists using geo-aware analysis of P2P query strings
    Download  www.eng.tau.ac.il
    Record label companies would like to identify potential artists as early as possible in their careers, before other companies approach the artists with competing contracts. The va...
    Noam Koenigstein, Yuval Shavitt, Tomer Tankel
    claim paper
    Read More »
    KDD
    2008
    ACM
    217views Data Mining» more  KDD 2008»
    Stream prediction using a generative model based on frequent episodes in event sequences
    14 years 9 months ago
    Stream prediction using a generative model based on frequent episodes in event sequences
    Download  research.microsoft.com
    This paper presents a new algorithm for sequence prediction over long categorical event streams. The input to the algorithm is a set of target event types whose occurrences we wis...
    Srivatsan Laxman, Vikram Tankasali, Ryen W. White
    claim paper
    Read More »
    KDD
    2004
    ACM
    139views Data Mining» more  KDD 2004»
    Learning a complex metabolomic dataset using random forests and support vector machines
    14 years 9 months ago
    Learning a complex metabolomic dataset using random forests and support vector machines
    Download  math.uc.edu
    Metabolomics is the omics science of biochemistry. The associated data include the quantitative measurements of all small molecule metabolites in a biological sample. These datase...
    Young Truong, Xiaodong Lin, Chris Beecher
    claim paper
    Read More »
    DAC
    2007
    ACM
    196views Computer Architecture» more  DAC 2007»
    Towards An Ultra-Low-Power Architecture Using Single-Electron Tunneling Transistors
    14 years 10 months ago
    Towards An Ultra-Low-Power Architecture Using Single-Electron Tunneling Transistors
    Download  post.queensu.ca
    Minimizing power consumption is vitally important in embedded system design; power consumption determines battery lifespan. Ultralow-power designs may even permit embedded systems...
    Changyun Zhu, Zhenyu (Peter) Gu, Li Shang, Robert ...
    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.