2474 search results - page 25 / 495 » Using Knowledge Management Systems to Structure Knowledgeabl... |
69
Voted
CORR
2011
Springer
14 years 5 months ago
2011
Springer
128
click to vote
LPAR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
PAKM
2004
15 years 3 months ago
2004
108
Voted
ELPUB
1999
ACM
15 years 6 months ago
1999
ACM
The paper reviews information and communication technologies as new tools in cultural representation and knowledge management, addresses issues of persuasion and engagement with t...
170
Voted
WEBNET
2001
15 years 3 months ago
2001
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...