4725 search results - page 752 / 945 » Dependence-Based Program Analysis |
159
Voted
SPIN
2010
Springer
15 years 3 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
151
click to vote
DOCENG
2009
ACM
15 years 2 months ago
2009
ACM
This paper focuses on the support provided by NCL (Nested Context Language) to relate objects with imperative code content and declarative hypermedia-objects (objects with declara...
171
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Data management in the life sciences has evolved from simple storage of data to complex information systems providing additional functionalities like analysis and visualization c...
157
click to vote
ICDAR
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper, we propose a new framework for online handwritten mathematical expression recognition. The proposed architecture aims at handling mathematical expression recognitio...
199
click to vote
ICDAR
2009
IEEE
15 years 2 months ago
2009
IEEE
The paper describes a new approach using a Conditional Random Fields (CRFs) to extract physical and logical layouts in unconstrained handwritten letters such as those sent by indi...