2250 search results - page 8 / 450 » Interactive Explanation of Software Systems |
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
KBSE
1998
IEEE
14 years 25 days 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 ...
ASWSD
2006
Springer
14 years 9 days ago
2006
Springer
CHI
2008
ACM
14 years 9 months ago
2008
ACM
Collaborative filtering (CF) has been successfully deployed over the years to compute predictions on items based on a user's correlation with a set of peers. The black-box na...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
