3309 search results - page 157 / 662 » Unit Knowledge Management |
114
Voted
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...
132
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
Management of architectural knowledge is vital for improving an organisation's capabilities in software architecture. Recently, there have been many efforts to develop variou...
151
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Large-scale, comprehensive and standardized high-throughput mouse phenotyping has been established as a tool of functional genome research by the German Mouse Clinic a...
135
Voted
AVI
2000
15 years 4 months ago
2000
The identification and analysis of an enterprise's knowledge available in a documented form is a key element of knowledge management. Visual methods which allow easy access t...
112
Voted
IMDS
2006
15 years 3 months ago
2006
Purpose