3061 search results - page 377 / 613 » interactions 2010 |
134
click to vote
SIGECOM
2010
ACM
15 years 11 months ago
2010
ACM
We report on a series of highly controlled human subject experiments in networked bargaining. The basic interaction between two players is the decision of how to share a mutual pa...
141
Voted
SIGMETRICS
2010
ACM
15 years 11 months ago
2010
ACM
In this paper, we present a comprehensive analysis of real smartphone usage during a 6-month study of real user activity on the Android G1 smartphone. Our goal is to study the hig...
143
Voted
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
We present TwitterMonitor, a system that performs trend detection over the Twitter stream. The system identifies emerging topics (i.e. ‘trends’) on Twitter in real time and p...
187
click to vote
AISC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...
211
Voted
AISC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We study the formalization process of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection...