4738 search results - page 608 / 948 » Past, Present, and Future |
259
click to vote
ASPLOS
2011
ACM
14 years 11 months ago
2011
ACM
Cloud services accessed through mobile devices suffer from high network access latencies and are constrained by energy budgets dictated by the devices’ batteries. Radio and batt...
258
Voted
PERVASIVE
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Accurate and fine-grained prediction of future user location and geographical profile has interesting and promising applications including targeted content service, adv...
199
click to vote
AAAI
2012
13 years 10 months ago
2012
Swirls of ocean currents known as ocean eddies are a crucial component of the ocean’s dynamics. In addition to dominating the ocean’s kinetic energy, eddies play a significan...
318
click to vote
ICDE
2006
IEEE
16 years 9 months ago
2006
IEEE
Speed to market is critical to companies that are driven by sales in a competitive market. The earlier a potential customer can be approached in the decision making process of a p...
352
click to vote
ICFP
2009
ACM
16 years 8 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...