Sciweavers

    2107 search results - page 5 / 422
    » b 2007
    Sort
    View
    ISOLA
    2007
    Springer
    120views Formal Methods» more  ISOLA 2007»
    Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more
    15 years 11 months ago
    Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more
    Download  www.stups.uni-duesseldorf.de
    Michael Leuschel, Daniel Plagge
    claim paper
    Read More »
    CLEAR
    2007
    Springer
    166views Biometrics» more  CLEAR 2007»
    The IBM Rich Transcription 2007 Speech-to-Text Systems for Lecture Meetings
    15 years 11 months ago
    The IBM Rich Transcription 2007 Speech-to-Text Systems for Lecture Meetings
    Download  www.ics.forth.gr
    The paper describes the IBM systems submitted to the NIST Rich Transcription 2007 (RT07) evaluation campaign for the speechto-text (STT) and speaker-attributed speech-to-text (SAST...
    Jing Huang, Etienne Marcheret, Karthik Visweswaria...
    claim paper
    Read More »
    ISBI
    2007
    IEEE
    160views Medical Imaging» more  ISBI 2007»
    Regularized B1+ Map Estimation in MRI
    15 years 11 months ago
    Regularized B1+ Map Estimation in MRI
    Download  www.eecs.umich.edu
    Amanda K. Funai, Jeffrey A. Fessler, William Griss...
    claim paper
    Read More »
    VTC
    2007
    IEEE
    71views Communications» more  VTC 2007»
    On Managing Multiple Radio Access Congestion Events in B3G Scenarios
    15 years 11 months ago
    On Managing Multiple Radio Access Congestion Events in B3G Scenarios
    Download  www.tsc.upc.edu
    Xavier Gelabert, Jordi Pérez-Romero, Oriol ...
    claim paper
    Read More »
    ANNALS
    2007
    49views more  ANNALS 2007»
    Alan Kay: Transforming the Computer into a Communication Medium
    15 years 5 months ago
    Alan Kay: Transforming the Computer into a Communication Medium
    Download  www.ieee.org
    Susan B. Barnes
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.