2250 search results - page 8 / 450 » Interactive Explanation of Software Systems |
168
click to vote
LPAR
2005
Springer
15 years 11 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...
156
click to vote
KBSE
1998
IEEE
15 years 10 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 ...
148
Voted
ASWSD
2006
Springer
15 years 9 months ago
2006
Springer
150
Voted
CHI
2008
ACM
16 years 6 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...
