4296 search results - page 261 / 860 » Knowledge Management and Collaboration |
175
click to vote
SIGLEX
1991
15 years 10 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...
169
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...
217
click to vote
MOBIHOC
2008
ACM
16 years 6 months ago
2008
ACM
Demands on better interacting with physical world require an effective and comprehensive collaboration mechanism among multiple heterogeneous sensor networks. Previous works mainl...
192
click to vote
ICDM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Collaborative tagging systems with user generated content have become a fundamental element of websites such as Delicious, Flickr or CiteULike. By sharing common knowledge, mass...
138
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Self-explaining is a beneficial learning strategy for studying worked-out examples because it either supplies missing information through the generation of inferences or because it...