476 search results - page 1 / 96 » Higher-Precision Groundness Analysis |
ICLP
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
CVPR
2009
IEEE
15 years 6 months ago
2009
IEEE
Detection of visually salient image regions is useful for
applications like object segmentation, adaptive compression,
and object recognition. In this paper, we introduce
a meth...
ICCD
2000
IEEE
14 years 7 months ago
2000
IEEE
This paper is concerned with the analysis and optimization of the ground bounce in digital CMOS circuits. First, an analytical method for calculating of the ground bounce is presen...
RAS
2002
13 years 10 months ago
2002
Ground plane perception is of vital importance to human mobility. In order to develop a stereo-based mobility aid for the partially sighted, we model the ground plane based on dis...
SCAM
2008
IEEE
14 years 5 months ago
2008
IEEE
—Many software engineering applications require points-to analysis. Client applications range from optimizing compilers to program development and testing environments to reverse...