59 search results - page 6 / 12 » Integrating Searching and Authoring in Mizar |
UIST
1995
ACM
13 years 11 months ago
1995
ACM
Although various visualization techniques have been proposed for information retrieval tasks, most of them are based on a single strategy for viewing and navigating through the in...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
Using a notebook to sketch designs, reflect on a topic, or capture and extend creative ideas are examples of active note taking tasks. Optimal experience for such tasks demands co...
IPM
2007
13 years 7 months ago
2007
We consider a network of autonomous peers forming a logically global but physically distributed search engine, where every peer has its own local collection generated by independe...
CSCW
2008
ACM
13 years 9 months ago
2008
ACM
This article presents a rational model developed under the distributed cognition framework that explains how social tags influence knowledge acquisition and adaptation in explorat...
KDD
2008
ACM
14 years 7 months ago
2008
ACM
This paper addresses several key issues in the ArnetMiner system, which aims at extracting and mining academic social networks. Specifically, the system focuses on: 1) Extracting ...