2632 search results - page 286 / 527 » Alternating Timed Automata |
123
Voted
PERCOM
2009
ACM
16 years 4 months ago
2009
ACM
In this paper we describe a context-sensitive way to change an active mobile phone profile. We present a method to create a proactive and adaptive phone profile control system that...
122
Voted
CHI
2004
ACM
16 years 4 months ago
2004
ACM
Context photography consists of capturing context when taking a picture, by sensing physical input in addition to light and representing it visually in real time. By developing th...
246
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...
196
click to vote
SIGMOD
2005
ACM
16 years 3 months ago
2005
ACM
Citation analysis is performed to evaluate the impact of scientific collections (journals and conferences), publications and scholar authors. In this paper we investigate alternat...
108
click to vote
ICS
2010
Tsinghua U.
16 years 1 months ago
2010
Tsinghua U.
Abstract: Research in sociology studies the effectiveness of social networks in achieving computational tasks. Typically the agents who are supposed to achieve a task are unaware o...