5015 search results - page 680 / 1003 » Model Checking a Path |
174
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The study of networked systems is an emerging field, impacting almost every area of engineering and science, including the important domains of communication systems, biology, soc...
161
click to vote
JSAC
2006
15 years 6 months ago
2006
As networks grow in size and complexity, both the probability and the impact of failures increase. The pre-allocated backup bandwidth, which has been widely investigated in the lit...
193
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
In this paper we develop a tractable framework for SINR analysis in downlink heterogeneous cellular networks (HCNs) with flexible cell association policies. The HCN is modeled as...
322
click to vote
ICDCS
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—In this paper we have proposed and designed FindingHuMo (Finding Human Motion), a real-time user tracking system for Smart Environments. FindingHuMo can perform device-f...
201
Voted
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
In this paper we propose a Particle Filter-based propagation approach for the segmentation of vascular structures in 3D volumes. Because of pathologies and inhomogeneities, many de...