2250 search results - page 8 / 450 » Interactive Explanation of Software Systems |
112
Voted
LPAR
2005
Springer
15 years 7 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...
114
click to vote
KBSE
1998
IEEE
15 years 6 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 ...
104
Voted
ASWSD
2006
Springer
15 years 5 months ago
2006
Springer
102
click to vote
CHI
2008
ACM
16 years 2 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...
75
Voted
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
