692 search results - page 7 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
104
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Image understanding involves analyzing many different aspects of the scene. In this paper, we are concerned with how these tasks can be combined in a way that improves the perform...
JHSN
2007
14 years 11 months ago
2007
Abstract. This paper addresses the issue in scenario-based understanding of human behavior from videos in a nursing care monitoring system. The analysis is carried out based on exp...
162
click to vote
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Given societies’ massive investment in information technology and the potentially catastrophic consequences of IT failures, it is becoming increasingly critical to understand ho...
SLP
1990
15 years 27 days ago
1990
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.
101
click to vote
AGP
1993
IEEE
15 years 3 months ago
1993
IEEE
Abstract. This paper presents a general approach to the Abstract Interpretation of Prolog programs with cut. In most of previous approaches the cut primitive is merely ignored. Our...