3342 search results - page 149 / 669 » Symbolic Robustness Analysis |
153
click to vote
ICIP
2003
IEEE
16 years 7 months ago
2003
IEEE
Knowledge-based fuzzy inference and neural learning are used in this paper in order to model the event recognition task in semantic video analysis. The advantage of their use is t...
112
click to vote
ICDIM
2008
IEEE
16 years 18 days ago
2008
IEEE
This paper presents a novel payload analysis method. Consecutive bytes are separated by boundary symbols and defined as words. The frequencies of word appearance and word to word ...
146
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
With an aim to high-level understanding of the mathematical contents in a document image the requirement of math-zone extraction and recognition technique is obvious. In this pape...
150
click to vote
CIARP
2008
Springer
15 years 8 months ago
2008
Springer
We present a method for on-line mathematical formulae recognition based on the structural construction paradigm and twodimensional grammars. In general, this approach can be succes...
167
click to vote
PLDI
2009
ACM
16 years 29 days ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...