1567 search results - page 124 / 314 » A Mechanized Model of the Theory of Objects |
NDSS
2007
IEEE
15 years 8 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
110
click to vote
CCGRID
2003
IEEE
15 years 7 months ago
2003
IEEE
Application-layer networks (ALN) are software architectures that allow the provisioning of services requiring a huge amount of resources by connecting large numbers of individual ...
106
click to vote
NIPS
1997
15 years 3 months ago
1997
There is strong evidence that face processing is localized in the brain. The double dissociation between prosopagnosia, a face recognition deficit occurring after brain damage, a...
109
click to vote
IJCAI
2003
15 years 3 months ago
2003
In fields such as medicine, geography, and mechanics, spatial reasoning involves reasoning about entities—for example cavities and invading particles—that may coincide without...
120
click to vote
UAI
2003
15 years 3 months ago
2003
Currently, there is renewed interest in the problem, raised by Shafer in 1985, of updating probabilities when observations are incomplete (or setvalued). This is a fundamental pro...