2751 search results - page 142 / 551 » A Metamodel for Knowledge Management |
MKM
2007
Springer
14 years 4 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...
SIGLEX
1991
14 years 1 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...
JAR
2007
13 years 10 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...
AAAI
2012
12 years 20 days ago
2012
We present the first real-world benchmark for sequentiallyoptimal team formation, working within the framework of a class of online football prediction games known as Fantasy Foo...
ICSE
2008
IEEE-ACM
14 years 10 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...