3342 search results - page 46 / 669 » Symbolic Robustness Analysis |
135
Voted
ICDAR
1997
IEEE
15 years 9 months ago
1997
IEEE
138
click to vote
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
164
click to vote
ICIP
2009
IEEE
16 years 6 months ago
2009
IEEE
Symbol spotting problem requires feature extraction strategies able to generalize from training samples and to localize the target object while discarding most part of the image. ...
177
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...