3342 search results - page 320 / 669 » Symbolic Robustness Analysis |
181
click to vote
ICDAR
2005
IEEE
16 years 9 days ago
2005
IEEE
A trainable method for distinguishing between mathematics notation and natural language (here, English) in images of textlines, using computational geometry methods only with no a...
206
click to vote
ICDAR
2005
IEEE
16 years 9 days ago
2005
IEEE
Handwritten mathematical notation contains ambiguities of various kinds. Here we focus on ambiguity in spatial relationships; in particular, we use fuzzy logic to treat ambiguity ...
161
click to vote
BIRTHDAY
2005
Springer
16 years 7 days ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
162
Voted
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a system for efficient indexing and retrieval of words in collections of document images. The proposed method is based on two main principles: unsupervised pr...
195
click to vote
SASN
2003
ACM
15 years 12 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...