3342 search results - page 1 / 669 » Symbolic Robustness Analysis |
FORMATS
2006
Springer
13 years 8 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
RTSS
2009
IEEE
13 years 11 months ago
2009
IEEE
DRR
2011
12 years 4 months ago
2011
In this paper we describe a scheme to enhance the usability of Tablet PC handwriting recognition systems by creating a software module for recognizing symbols that are not a part ...
ICIAR
2009
Springer
13 years 2 months ago
2009
Springer
This paper presents a robust automatic shape classifier using modular wavelet networks (MWNs). A shape descriptor is constructed based on a combination of global geometric features...
ICANNGA
2009
Springer
13 years 11 months ago
2009
Springer
A statistical generative model is presented as an alternative to negative selection in anomaly detection of string data. We extend the probabilistic approach to binary classificat...