7890 search results - page 1443 / 1578 » The MathSAT 3 System |
128
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
We present Waterhouse, a system for sending and receiving cryptographically protected electronic mail ("secure e-mail"). We show how an existing e-mail interface can be ...
140
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Intelligent Tutoring Systems (ITSs) have been shown to have dramatic impact on student learning [9]. However, these gains have been mostly in topics in which the interface has bee...
180
click to vote
KDD
2009
ACM
16 years 5 months ago
2009
ACM
Various online social networks (OSNs) have been developed rapidly on the Internet. Researchers have analyzed different properties of such OSNs, mainly focusing on the formation an...
137
Voted
MOBISYS
2009
ACM
16 years 5 months ago
2009
ACM
Loaded with personal data, e.g. photos, contacts, and call history, mobile phones are truly personal devices. Yet it is often necessary or desirable to share our phones with other...
137
click to vote
KDD
2008
ACM
16 years 5 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 ...