11 search results - page 2 / 3 » Aspects of Mathematical Expression Analysis in Arabic Handwr... |
ENTCS
2002
13 years 5 months ago
2002
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...
DOCENG
2009
ACM
14 years 8 days ago
2009
ACM
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...
APBC
2003
13 years 7 months ago
2003
Microarrays allow the monitoring of expressions for tens of thousands of genes simultaneously. Image analysis is an important aspect for microarray experiments that can affect sub...
MOBIHOC
2003
ACM
14 years 5 months ago
2003
ACM
We develop a detailed approach to study how mobilityimpacts the performance of reactive MANET routing protocols. In particular we examine how the statistics of path durations inclu...
PLDI
2009
ACM
14 years 17 days ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...