15754 search results - page 372 / 3151 » Programs are Knowledge Bases |
200
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
181
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Unlike the common belief that knowledge flows mainly along the formal organizational hierarchy, recent research has pointed out an informal social network among organizational mem...
153
click to vote
CONTEXT
2007
Springer
16 years 29 days ago
2007
Springer
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...
176
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
We present a game-based interface for acquiring common sense knowledge. In addition to being interactive and entertaining, our interface guides the knowledge acquisition process t...
162
click to vote
WCRE
2002
IEEE
15 years 11 months ago
2002
IEEE
As part of a long term project aiming at empowering software maintainers with knowledge based tools we conducted an empirical study on the knowledge they use when doing maintenanc...