Sciweavers

1812 search results - page 235 / 363
» Signal Processing in Large Systems: a New Paradigm
Sort
View
LREC
2008
93views Education» more  LREC 2008»
15 years 8 months ago
First Broadcast News Transcription System for Khmer Language
In this paper we present an overview on the development of a large vocabulary continuous speech recognition (LVCSR) system for Khmer, the official language of Cambodia, spoken by ...
Sopheap Seng, Sethserey Sam, Laurent Besacier, Bri...
PLDI
2006
ACM
16 years 14 days ago
Termination proofs for systems code
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
Byron Cook, Andreas Podelski, Andrey Rybalchenko
FSR
2003
Springer
89views Robotics» more  FSR 2003»
15 years 11 months ago
An Enhanced Robotic Library System for an Off-Site Shelving Facility
This paper describes our continued work of a unique robotics project, Comprehensive Access to Printed Materials (CAPM), within the context of libraries. As libraries provide a gro...
Jackrit Suthakorn, Sangyoon Lee, Yu Zhou, G. Sayee...
ISMIR
2004
Springer
130views Music» more  ISMIR 2004»
15 years 12 months ago
Towards Automatic Identification Of Singing Language In Popular Music Recordings
The automatic analysis of singing from music is an important and challenging issue within the research target of content-based retrieval of music information. As part of this rese...
Wei-Ho Tsai, Hsin-Min Wang
ICDAR
2011
IEEE
14 years 6 months ago
HAMEX - A Handwritten and Audio Dataset of Mathematical Expressions
—In this paper, we present HAMEX, a new public dataset that contains mathematical expressions available in their on-line handwritten form and in their audio spoken form. We have ...
Solen Quiniou, Harold Mouchère, Sebasti&aac...