3868 search results - page 728 / 774 » Open Systems in TLA |
MOBISYS
2009
ACM
16 years 11 days ago
2009
ACM
Mobility footprint refers to the size, weight, and energy demand of the hardware that must be carried by a mobile user to be effective at any time and place. The ideal of a zero m...
MOBIHOC
2009
ACM
16 years 11 days ago
2009
ACM
Routing is one of the most challenging open problems in disruption-tolerant networks (DTNs) because of the shortlived wireless connectivity environment. To deal with this issue, r...
CHI
2005
ACM
16 years 7 days ago
2005
ACM
In this paper, we present an attentive windowing technique that uses eye tracking, rather than manual pointing, for focus window selection. We evaluated the performance of 4 focus...
CHI
2004
ACM
16 years 6 days ago
2004
ACM
In this paper, we describe Common Sense Investing (CSI), an interactive investment tool that uses a knowledge base of common sense statements in conjunction with domain knowledge ...
107
click to vote
ICALP
2009
Springer
16 years 3 days ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...