577 search results - page 105 / 116 » Model Checking Based on Simultaneous Reachability Analysis |
VTC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— Balancing energy consumption and prolonging network lifetime are open challenges in Wireless Sensor Networks. In this paper, we design a novel load balanced routing pro...
ICMCS
1999
IEEE
14 years 2 months ago
1999
IEEE
Abstract--In this paper, a procedure is described for the segmentation, content-based coding, and visualization of videoconference image sequences. First, image sequence analysis i...
FCSC
2007
13 years 10 months ago
2007
1 The techniques for image analysis and classi cation generally consider the image sample labels xed and without uncertainties. The rank regression problem is studied in this pape...
TPDS
2008
13 years 9 months ago
2008
In this paper, we investigate the theoretical aspects of the nonuniform node distribution strategy used to mitigate the energy hole problem in wireless sensor networks (WSNs). We c...
TRETS
2010
13 years 5 months ago
2010
A ring oscillator based true-random number generator design (Rings design) was introduced in [1]. The design was rigorously analyzed under a mathematical model and its performance...