1278 search results - page 186 / 256 » Programming Sensor Networks Using Abstract Regions |
136
click to vote
AAAI
2007
15 years 4 months ago
2007
In many sensing applications we must continuously gather information to provide a good estimate of the state of the environment at every point in time. A robot may tour an environ...
144
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
—We consider the problem of positioning a cloud of points in the Euclidean space Rd , from noisy measurements of a subset of pairwise distances. This task has applications in var...
114
click to vote
IJRR
2008
15 years 2 months ago
2008
Abstract. In the world of living creatures, "simple minded" animals often cooperate to achieve common goals with amazing performance. One can consider this idea in the co...
121
Voted
PERCOM
2009
ACM
15 years 9 months ago
2009
ACM
Abstract—In this paper, we consider privacy challenges in eventdriven pervasive spaces where multimedia streams captured by sensors embedded in the infrastructure are used to det...
227
click to vote
PADL
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...