8917 search results - page 1413 / 1784 » Abstraction in Algorithm Animation |
158
click to vote
DASFAA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. Continuous spatial queries retrieve a set of time-varying objects continuously during a given period of time. However, monitoring moving objects to maintain the correctne...
154
click to vote
PERCOM
2009
ACM
15 years 11 months 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...
130
click to vote
PERCOM
2009
ACM
15 years 11 months 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...
121
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
140
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
This paper focuses on time-based declarative languages. The use of declarative languages has the advantage of their simplicity and gh-level abstraction, usually requiring few or n...