38 search results - page 7 / 8 » Accountability: definition and relationship to verifiability |
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Landmarks for a planning problem are subgoals that are necessarily made true at some point in the execution of any plan. Since verifying that a fact is a landmark is PSPACE-complet...
ICCV
2011
IEEE
12 years 7 months ago
2011
IEEE
We present two theses in this paper: First, performance of most existing face recognition algorithms improves if instead of the whole image, smaller patches are individually class...
PICS
2003
13 years 8 months ago
2003
An experimental and theoretical methodology based on spectroradiometric measures is proposed to test if the reciprocity law is verified in digital photography. Taking into account...
POPL
2007
ACM
14 years 7 months ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...