819 search results - page 63 / 164 » Fractal symbolic analysis |
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
A major feature of new mobiles terminals using penbased interfaces, such as personal assistants or e-book, is their personal character, implying that a good interface should be ea...
EMNLP
2004
13 years 10 months ago
2004
A method for automatic plot analysis of narrative texts that uses components of both traditional symbolic analysis of natural language and statistical machine-learning is presente...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
In this article, we present a system for the recognition of on-line handwritten mathematical formulas which is used in the electronic chalkboard (E-chalk), a multimedia system for...
SAS
1999
Springer
14 years 29 days ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...