2250 search results - page 8 / 450 » Interactive Explanation of Software Systems |
96
Voted
LPAR
2005
Springer
15 years 5 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...
90
Voted
KBSE
1998
IEEE
15 years 3 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 ...
85
Voted
ASWSD
2006
Springer
15 years 3 months ago
2006
Springer
CHI
2008
ACM
16 years 21 hour 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
15 years 11 months ago
2003
IEEE-ACM
