2610 search results - page 112 / 522 » Computational Probabilistic Non-interference |
DAC
1997
ACM
14 years 2 months ago
1997
ACM
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). T...
CGI
2004
IEEE
14 years 1 months ago
2004
IEEE
Creating long animation sequences with non-trivial repetitions is a time consuming and often difficult task. This is true for 2D images and even more true for 3D sequences. Based ...
EUC
2008
Springer
13 years 12 months ago
2008
Springer
We present RT-P2P, a real-time peer-to-peer (P2P) system that allows application-level end-to-end timing requirements to be satisfied in P2P systems. P2P systems are fundamentally...
BMVC
1998
13 years 11 months ago
1998
The segmentation of pixels belonging to different moving elements within a cinematographic image sequence underpins a range of post-production special effects. In this work, the s...
BMVC
2000
13 years 11 months ago
2000
High-dimensional data, such as images represented as points in the space spanned by their pixel values, can often be described in a significantly smaller number of dimensions than...