2935 search results - page 134 / 587 » Knowledge Organization for Exploration |
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...
112
click to vote
CSCW
1994
ACM
15 years 7 months ago
1994
ACM
A growing concern for organizations and groups has been to augment their knowledge and expertise. One such augmentation is to provide an organizational memory, some record of the ...
128
click to vote
ECAL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper adopts an interdisciplinary view of the significant elements of ecosystems and the methods by which these might be simulated to explore theoretical issues of r...
98
Voted
ECIR
2007
Springer
15 years 4 months ago
2007
Springer
Understanding an enterprise’s workforce and skill-set can be seen as the key to understanding an organization’s capabilities. In today’s large organizations it has become inc...
101
Voted
HICSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Knowledge is considered to be a key organizational resource in the 21st century and the knowledge management ‘movement’ has alerted organizations to the fact that they should ...