725 search results - page 138 / 145 » heuristics 2010 |
111
click to vote
CORR
2010
Springer
15 years 12 days ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
143
Voted
GIS
2010
ACM
15 years 11 days ago
2010
ACM
In this paper we focus on the problem of continuously monitoring the set of Reverse k-Nearest Neighbors (RkNNs) of a query object in a moving object database using a client server...
111
click to vote
INFOCOM
2010
IEEE
15 years 8 days ago
2010
IEEE
—Upon the occurrence of a phenomenon of interest in a wireless sensor network, multiple sensors may be activated, leading to data implosion and redundancy. Data aggregation and/o...
103
click to vote
INFOCOM
2010
IEEE
15 years 8 days ago
2010
IEEE
Abstract— Robustness and reliability are critical issues in network management. To provide resiliency, a popular protection scheme against network failures is the simultaneous ro...
156
Voted
INFOCOM
2010
IEEE
15 years 8 days ago
2010
IEEE
Abstract—Wireless sensor networks (WSNs) are typically composed of low-cost sensors that are deeply integrated with physical environments. As a result, the sensing performance of...