12981 search results - page 2415 / 2597 » Model Checking (Abstract) |
147
Voted
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—We consider a cognitive radio network where multiple secondary users (SUs) contend for spectrum usage, using random access, over available primary user (PU) channels. Ou...
116
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—The widespread availability of mobile wireless devices offers growing opportunities for the formation of temporary networks with only intermittent connectivity. These in...
110
Voted
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—In many applications the traffic traversing the network has inter-packet dependencies due to application-level encoding schemes. For some applications, e.g., multimedia...
149
click to vote
PAMI
2008
15 years 2 months ago
2008
Abstract-- This paper proposes a deterministic observer design for visual tracking based on non-parametric implicit (level-set) curve descriptions. The observer is continuous-discr...
138
Voted
IPMU
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper, a Fuzzy Dominant Texture Descriptor is proposed for semantically describing an image. This fuzzy descriptor is defined over a set of fuzzy sets modelling ...