3020 search results - page 21 / 604 » Type Analysis of Prolog Using Type Graphs |
TACAS
2007
Springer
14 years 2 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— Approximating the sum of Log–Normal random variables (RVs) is a long–standing open issue, in the old and recent literature, and many approaches have been proposed to deal w...
SCALESPACE
2007
Springer
14 years 2 months ago
2007
Springer
Scale space interest points capture important photometric and deep structure information of an image. The information content of such points can be made explicit using image recons...
ACL
2009
13 years 6 months ago
2009
This paper presents a new term extraction approach using relevance between term candidates calculated by a link analysis based method. Different types of relevance are used separa...
DIMVA
2006
13 years 10 months ago
2006
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...