1137 search results - page 94 / 228 » Partial Program Admission |
JSC
2010
13 years 9 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
ACSAC
2010
IEEE
13 years 8 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...
ATAL
2006
Springer
14 years 2 months ago
2006
Springer
Developing scalable algorithms for solving partially observable Markov decision processes (POMDPs) is an important challenge. One promising approach is based on representing POMDP...
GECCO
2004
Springer
14 years 4 months ago
2004
Springer
The identification of genes that influence the risk of common, complex diseases primarily through interactions with other genes and environmental factors remains a statistical and ...
SOFTCO
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. An artificial neural network with all its elements is a rather complex structure, not easily constructed and/or trained to perform a particular task. Consequently, severa...