3456 search results - page 350 / 692 » Algorithms for Interface Synthesis |
198
click to vote
PERCOM
2011
ACM
14 years 10 months ago
2011
ACM
—As smart home technologies continue to be deployed in research and real world environments, there continues to be a need for quality visualization of the smart home data. This d...
224
click to vote
CIDR
2011
14 years 10 months ago
2011
The Deuteronomy system supports efficient and scalable ACID transactions in the cloud by decomposing functions of a database storage engine kernel into: (a) a transactional compon...
154
click to vote
JCP
2006
15 years 6 months ago
2006
We present a novel self-stabilizing version of Mazurkiewicz enumeration algorithm [1]. The initial version is based on local rules to enumerate nodes on an anonymous network. [2] p...
170
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Workers in organizations frequently request help from assistants by sending request messages that express information intent: an intention to update data in an information system....
146
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Reading detection is an important step in the process of automatic relevance feedback generation based on eye movements for information retrieval tasks. We describe a reading dete...