Search Sciweavers | Sciweavers

3342 search results - page 8 / 669

» Symbolic Robustness Analysis

click to vote

TASLP
2008

140views more TASLP 2008»

Acoustic Chord Transcription and Key Extraction From Audio Using Key-Dependent HMMs Trained on Synthesized Audio

13 years 7 months ago

Download ccrma.stanford.edu

We describe an acoustic chord transcription system that uses symbolic data to train hidden Markov models and gives best-of-class frame-level recognition results. We avoid the extre...

Kyogu Lee, Malcolm Slaney

claim paper

Read More »

click to vote

ICDAR
2011
IEEE

219views Document Analysis» more ICDAR 2011»

Digit/Symbol Pruning and Verification for Arabic Handwritten Digit/Symbol Spotting

12 years 7 months ago

Download www.icdar2011.org

—In order to spot the digits in a handwritten document, each component is sent to a classifier. This is a time consuming process because a document usually contains several hundr...

Nicola Nobile, Chun Lei He, Malik Waqas Sagheer, L...

claim paper

Read More »

click to vote

APLAS
2008
ACM

161views Programming Languages» more APLAS 2008»

Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution

13 years 9 months ago

Download www.jaist.ac.jp

Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...

Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito O...

claim paper

Read More »

click to vote

DAS
2008
Springer

84views Document Analysis» more DAS 2008»

Word and Symbol Spotting Using Spatial Organization of Local Descriptors

13 years 9 months ago

Download www.cvc.uab.es

Marçal Rusiñol, Josep Lladós

claim paper

Read More »