3342 search results - page 246 / 669 » Symbolic Robustness Analysis |
184
click to vote
MVA
1990
15 years 7 months ago
1990
d at a high abstraction level, and consists in an expectation-driven search starting from symbolic object descriptions and using a version of a distributed blackboard system for re...
145
click to vote
ACII
2007
Springer
16 years 23 days ago
2007
Springer
In this paper, we address the tasks of recognition and interpretation of affect communicated through text messaging. The evolving nature of language in online conversations is a ma...
169
click to vote
IEEEPACT
2006
IEEE
16 years 18 days ago
2006
IEEE
Static Single Assignment (SSA) has become the intermediate program representation of choice in most modern compilers because it enables efficient data flow analysis of scalars an...
198
click to vote
DAS
2008
Springer
15 years 8 months ago
2008
Springer
Many on-line (interactive) mathematics recognition systems allow the creation of typeset equations, normally in LaTeX, but they do not support mathematical problem solving. In thi...
164
click to vote
ICDAR
2005
IEEE
16 years 6 days ago
2005
IEEE
In this paper, a new method for document images or photos binarization is presented. The method is simple, fast and robust and appropriate for normal as well as for special cases ...