4116 search results - page 155 / 824 » Type Analysis for CHIP |
POPL
2011
ACM
12 years 11 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, we propose a framework for engineering drawings recognition using a case-based approach. The key idea of our scheme is that, interactively, the user provides an exa...
ICIP
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, a new, simple but effective method is proposed for blind image steganalysis, which is based on run-length histogram analysis. Higher-order statistics of characteris...
ICLP
1999
Springer
14 years 1 months ago
1999
Springer
In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available...
APJOR
2010
13 years 9 months ago
2010
Mean value analysis is an elegant tool for determining mean performance measures in queueing models. We use the technique to analyze the M/G/1 retrial queue with exponential retri...