981 search results - page 101 / 197 » Symbolic pointer analysis |
117
click to vote
DAS
2010
Springer
15 years 5 months ago
2010
Springer
We consider the problem of dealing with irrelevant votes when a multi-case classifier is built from an ensemble of binary classifiers. We show how run-off elections can be used to...
116
Voted
DAS
2008
Springer
15 years 4 months ago
2008
Springer
Writer identification consists in determining the writer of a piece of handwriting from a set of writers. In this paper we present a system for writer identification in old handwr...
138
click to vote
ICDAR
2009
IEEE
15 years 2 hour 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...
117
click to vote
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
This paper describes Automatic Pool Allocation, a transformation framework that segregates distinct instances of heap-based data structures into seperate memory pools and allows h...
193
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....