600 search results - page 40 / 120 » Validated cost models for sensor network queries |
178
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
The querying and analysis of data streams has been a topic of much recent interest, motivated by applications from the fields of networking, web usage analysis, sensor instrumenta...
157
click to vote
CONCUR
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
142
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We introduce a simple approach to segment in homogeneous phases a long-duration record of locomotion data consisting of body segment acceleration and foot pressure information onl...
169
click to vote
ICRA
2008
IEEE
16 years 19 days ago
2008
IEEE
— This paper proposes and experimentally validates a Bayesian network model of a range finder adapted to dynamic environments. The modeling rigorously explains all model assumpt...
162
click to vote
DIMVA
2010
15 years 7 months ago
2010
Abstract. Skype is one of the most used P2P applications on the Internet: VoIP calls, instant messaging, SMS and other features are provided at a low cost to millions of users. Alt...