4372 search results - page 300 / 875 » Objects for Lexical Analysis |
157
click to vote
FASE
2010
Springer
16 years 1 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
148
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
An original binarization method based on connected operators is proposed in this paper. Connected operators enable to filter and/or segment an image by preserving its contours. T...
178
click to vote
IWCIA
2009
Springer
16 years 1 months ago
2009
Springer
In discrete geometry, the Distance Transformation and the Medial Axis Extraction are classical tools for shape analysis. In this paper, we present a Hierarchical Discrete Medial Ax...
178
click to vote
QSIC
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...
160
click to vote
FGR
1998
IEEE
15 years 11 months ago
1998
IEEE
We present a person-independent gesture interface implemented on a real robot which allows the user to give simple commands ,e.g., how to grasp an object and where to put it. The ...