2250 search results - page 8 / 450 » Interactive Explanation of Software Systems |
185
click to vote
LPAR
2005
Springer
16 years 4 days 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...
169
Voted
KBSE
1998
IEEE
15 years 11 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 ...
160
click to vote
CHI
2008
ACM
16 years 7 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...
121
Voted
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
