1357 search results - page 132 / 272 » Compositional analysis for linear systems |
ICASSP
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper focuses on confidence scores for use in acoustic model adaptation. Frame-based confidence estimates are used in linear transform (CMLLR and MLLR) and MAP adaptation. ...
ICDAR
2009
IEEE
13 years 8 months ago
2009
IEEE
This paper proposes a syntactic method for detection and correction of misrecognized mathematical formulae for a practical mathematical OCR system. Linear monadic context-free tre...
PET
2007
Springer
14 years 4 months ago
2007
Springer
We introduce a new traffic analysis attack: the Two-sided Statistical Disclosure Attack, that tries to uncover the receivers of messages sent through an anonymizing network support...
RTS
2006
13 years 10 months ago
2006
Estimating the Worst Case Execution Time (WCET) of a program on a given processor is important for the schedulability analysis of real-time systems. WCET analysis techniques typic...
ICWS
2010
IEEE
14 years 7 days ago
2010
IEEE
Several activities in service oriented computing can benefit from the knowledge of properties of a given service composition ahead of time. We will focus here on properties related...