4894 search results - page 778 / 979 » Dynamic Abstraction Planning |
164
click to vote
PERCOM
2009
ACM
16 years 27 days ago
2009
ACM
Abstract—We present a lightweight lossless compression algorithm for realtime sensor networks. Our proposed Adaptive Linear Filtering Compression (ALFC) algorithm performs predic...
174
click to vote
PERCOM
2009
ACM
16 years 27 days ago
2009
ACM
Abstract—The proliferation of accelerometers on consumer electronics has brought an opportunity for interaction based on gestures or physical manipulation of the devices. We pres...
153
click to vote
PERCOM
2009
ACM
16 years 27 days ago
2009
ACM
Abstract—Existing solutions for building wireless mesh networks suffer from reduced efficiency. This is due to lack of reliable self-configuration procedures that can dynamical...
159
click to vote
TEI
2009
ACM
16 years 27 days ago
2009
ACM
Drawing on the ‘representation’ TUI framework [21], this paper reports a study that investigated the concept of ‘representation location’ and its effect on interaction and...
150
click to vote
TACAS
2009
Springer
16 years 26 days ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...