3394 search results - page 548 / 679 » Regular Object Types |
194
Voted
SIGMOD
2009
ACM
16 years 1 months ago
2009
ACM
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...
188
Voted
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
Many sensor network applications, such as object tracking and disaster monitoring, require effective techniques for event detection. In this paper, we propose a novel event detect...
98
Voted
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
105
Voted
PERCOM
2007
ACM
16 years 22 days ago
2007
ACM
In this paper, we study the static path planning problem with wireless sensor network localization as the primary objective. We consider a model in which sensors are assumed to be...
107
click to vote
MOBISYS
2007
ACM
16 years 21 days ago
2007
ACM
This paper presents MyExperience, a system for capturing both objective and subjective in situ data on mobile computing activities. MyExperience combines the following two techniq...