2596 search results - page 386 / 520 » Gradual Typing for Objects |
215
click to vote
SIGMOD
2006
ACM
16 years 4 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...
121
click to vote
ICFP
2002
ACM
16 years 3 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...
132
click to vote
PERCOM
2007
ACM
16 years 3 months 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...
124
Voted
MOBISYS
2007
ACM
16 years 3 months 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...
127
click to vote
MOBIHOC
2005
ACM
16 years 3 months ago
2005
ACM
We propose a new link metric called normalized advance (NADV) for geographic routing in multihop wireless networks. NADV selects neighbors with the optimal trade-off between proxi...