3342 search results - page 44 / 669 » Symbolic Robustness Analysis |
119
click to vote
ICDAR
1999
IEEE
15 years 9 months ago
1999
IEEE
The automatic recognition of music scores is a key process for the electronic treatment of music information. In this paper, we present the segmentation module of an OMR system. T...
144
click to vote
ICIP
2003
IEEE
16 years 7 months ago
2003
IEEE
We present a robust method for time-frequency model estimation. It involves a robust Leclerc's estimator to ensure robustness w.r.t. noise and interferences present in timefr...
167
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
146
click to vote
MCU
2004
15 years 7 months ago
2004
Many different definitions of computational universality for various types of systems have flourished since Turing's work. In this paper, we propose a general definition of un...
145
click to vote
FUIN
2006
15 years 5 months ago
2006
Many different definitions of computational universality for various types of dynamical systems have flourished since Turing's work. We propose a general definition of univers...