3342 search results - page 45 / 669 » Symbolic Robustness Analysis |
151
Voted
TASLP
2008
15 years 5 months ago
2008
Finding a piece of music based on its content is a key problem in music information retrieval. For example, a user may be interested in finding music based on knowledge of only a s...
200
click to vote
ISSTA
2012
ACM
13 years 8 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
157
click to vote
VTC
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract – Multiple-Input-Multiple-Output (MIMO) Orthogonal Frequency Division Multiplexing (OFDM) systems have recently attracted substantial research interest. However, compare...
167
click to vote
CDC
2010
IEEE
15 years 16 days ago
2010
IEEE
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...
131
click to vote
ICDAR
2009
IEEE
15 years 3 months ago
2009
IEEE
This paper describes a document recognition system for 16th century German staffless lute tablature notation. We present methods for page layout analysis, symbol recognition and s...