1090 search results - page 83 / 218 » Type-Directed Partial Evaluation |
ACSAC
2010
IEEE
13 years 7 months ago
2010
IEEE
Despite the numerous prevention and protection mechanisms that have been introduced into modern operating systems, the exploitation of memory corruption vulnerabilities still repr...
CIKM
2010
Springer
13 years 7 months ago
2010
Springer
Complex search tasks that utilize information from several data sources, are answered by integrating the results of distinct basic search queries. In such integration, each basic ...
ICTAI
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--The difficulties encountered in sequential decisionmaking problems under uncertainty are often linked to the large size of the state space. Exploiting the structure of th...
ISVC
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Occluding contour (OC) plays important roles in many computer vision tasks. The study of using OC for visual inference tasks is however limited, partially due to the lack...
PPDP
2010
Springer
13 years 6 months ago
2010
Springer
Most Prolog implementations are implemented in low-level languages such as C and are based on a variation of the WAM instruction set, which enhances their performance but makes th...