216 search results - page 2 / 44 » Explaining User Errors in Knowledge Base Completion |
KBSE
1998
IEEE
13 years 9 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
ACMSE
2006
ACM
13 years 11 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
DAS
2008
Springer
13 years 7 months ago
2008
Springer
In this paper a complete OCR methodology for recognizing historical documents, either printed or handwritten without any knowledge of the font, is presented. This methodology cons...
AAMAS
2008
Springer
13 years 5 months ago
2008
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent/incomplete/uncertain knowledge, based on the construction and the comparison of ar...
ARGMAS
2007
Springer
13 years 9 months ago
2007
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent knowledge, based on the construction and the comparison of arguments. In this pape...