2710 search results - page 131 / 542 » Knowledge Management with Snapshots |
148
click to vote
MKWI
2008
15 years 5 months ago
2008
: Within software development, wikis are currently mainly used for brainstorming and documentation purposes or error management and project coordination. This article describes fou...
127
Voted
HCI
2009
15 years 1 months ago
2009
Hierarchies have long been used as useful structuring mechanisms for organizing and managing documents. This study looks at the problem of personal digital document management in t...
138
click to vote
MKM
2007
Springer
15 years 10 months ago
2007
Springer
One major goal of Mathematical Knowledge Management is building extensive repositories, in which the mathematical knowledge has been verified. It appears, however, that maintainin...
121
Voted
SIGLEX
1991
15 years 7 months ago
1991
This paper argues that itisimpossible to separate lexicaland encyclopedic knowledge and describes an attempt to build a large lexical database that contains the range of informati...
117
click to vote
JAR
2007
15 years 3 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...