9067 search results - page 1614 / 1814 » Adaptive Model Checking |
185
Voted
AVSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Tracking humans in an indoor environment is an essential part of surveillance systems. Vision based and microphone array based trackers have been extensively researched in the pas...
229
click to vote
C5
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper provides an overview of MediaDART, a framework for building online services for distributing and sharing digital media. Inspired by the participative model of Web 2.0, ...
178
click to vote
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
—Large scale production grids are a major case for autonomic computing. Following the classical definition of Kephart, an autonomic computing system should optimize its own beha...
180
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper investigates the problem of the formation of an uplink tree structure among the IEEE 802.16j network’s relay stations (RSs) and their serving base station (MR-BS)....
208
Voted
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, we investigate the transmission-power assignment problem for k-connected mobile ad hoc networks (MANETs), the problem of optimizing the lifetime of a MANET at a g...