2610 search results - page 95 / 522 » Computational Probabilistic Non-interference |
ARTS
1999
Springer
14 years 2 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
WCNC
2010
IEEE
14 years 1 months ago
2010
IEEE
—The deployment strategy for achieving differentiated coverage and probabilistic connectivity in wireless sensor networks is studied in this paper. A novel solution based on elit...
ECCV
2002
Springer
14 years 12 months ago
2002
Springer
Color-based trackers recently proposed in [3,4,5] have been proved robust and versatile for a modest computational cost. They are especially appealing for tracking tasks where the ...
ICDE
2009
IEEE
14 years 11 months ago
2009
IEEE
Abstract-- Skyline computation has many applications including multi-criteria decision making. In this paper, we study the problem of efficient processing of continuous skyline que...
VLSID
2004
IEEE
14 years 10 months ago
2004
IEEE
As we move from deep submicron technology to nanotechnology for device manufacture, the need for defect-tolerant architectures is gaining importance. This is because, at the nanos...