3342 search results - page 90 / 669 » Symbolic Robustness Analysis |
186
click to vote
ICMCS
2007
IEEE
15 years 9 months ago
2007
IEEE
Mismatch between training and testing data is a major error source for both Automatic Speech Recognition (ASR) and Automatic Speaker Identification (ASI). In this paper, we first ...
179
click to vote
JAIR
2002
15 years 5 months ago
2002
Much work in AI deals with the selection of proper actions in a given (known or unknown) environment. However, the way to select a proper action when facing other agents is quite ...
137
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
In this paper we show the equivalence of three techniques used in image processing: local-mode finding, robust-estimation and mean-shift analysis. The computational common element...
160
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...
149
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...