4341 search results - page 689 / 869 » Quantitative Model checking |
151
click to vote
CCGRID
2007
IEEE
2007
IEEE
Scheduling Remote Access to Scientific Instruments in Cyberinfrastructure for Education and Research
16 years 25 days ago
While a grid represents a computing infrastructure for cross domain sharing of computational resources, the cyberinfrastructure, proposed by the US NSF Blue – Ribbon advisory pa...
166
click to vote
CODES
2007
IEEE
16 years 24 days ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...
168
click to vote
CVPR
2007
IEEE
16 years 24 days ago
2007
IEEE
We propose a framework for general multiple target tracking, where the input is a set of candidate regions in each frame, as obtained from a state of the art background learning, ...
179
click to vote
ICC
2007
IEEE
16 years 24 days ago
2007
IEEE
- In this paper we study efficient triangular grid-based sensor deployment planning for coverage when sensor placements are perturbed by random errors around their corresponding gr...
168
click to vote
ICIP
2007
IEEE
16 years 24 days ago
2007
IEEE
We propose a new method addressing the problem of template drift, a common phenomenon in which the target gradually shifts away from the template in object tracking. Much effort h...