Search Sciweavers | Sciweavers

2107 search results - page 5 / 422

» b 2007

click to vote

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 3 months ago

Download www.stups.uni-duesseldorf.de

Michael Leuschel, Daniel Plagge

claim paper

Read More »

click to vote

CLEAR
2007
Springer

166views Biometrics» more CLEAR 2007»

The IBM Rich Transcription 2007 Speech-to-Text Systems for Lecture Meetings

15 years 3 months ago

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 »

click to vote

ISBI
2007
IEEE

160views Medical Imaging» more ISBI 2007»

Regularized B1+ Map Estimation in MRI

15 years 3 months ago

Download www.eecs.umich.edu

Amanda K. Funai, Jeffrey A. Fessler, William Griss...

claim paper

Read More »

click to vote

VTC
2007
IEEE

71views Communications» more VTC 2007»

On Managing Multiple Radio Access Congestion Events in B3G Scenarios

15 years 3 months ago

Download www.tsc.upc.edu

Xavier Gelabert, Jordi Pérez-Romero, Oriol ...

claim paper

Read More »

Voted

ANNALS
2007

49views more ANNALS 2007»

Alan Kay: Transforming the Computer into a Communication Medium

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers