146 search results - page 7 / 30 » A Review of Mathematical Knowledge Management |
MKM
2007
Springer
14 years 1 months ago
2007
Springer
Formal concept analysis (FCA) comprises a set of powerful algorithms which can be used for data analysis and manipulation, and a set of visualisation tools which enable the discove...
EUROSPI
2007
Springer
14 years 1 months ago
2007
Springer
A central issue in knowledge management and software process improvement is to learn from experience. In software engineering, most experience is gathered in projects, which makes ...
BIRTHDAY
2009
Springer
14 years 2 months ago
2009
Springer
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...
JAR
2007
13 years 7 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...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
Many organizations pursue knowledge management (KM) initiatives, with different degrees of success. One key aspect of KM often neglected in practice is that it not only concerns t...