4979 search results - page 198 / 996 » A strategy for knowledge management |
174
click to vote
MKWI
2008
15 years 7 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...
167
click to vote
MKM
2007
Springer
16 years 5 days 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...
156
click to vote
SIGLEX
1991
15 years 9 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...
154
click to vote
JAR
2007
15 years 6 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
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— In this paper we present two task-allocation strategies for a multi-robot transportation system. The first strategy is based on a centralized planner that uses domain ...