5639 search results - page 124 / 1128 » Timed Abstract Non-interference |
109
click to vote
PCM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We propose a fast disparity estimation algorithm using background registration and object segmentation for stereo sequences from fixed cameras. Dense background disparit...
102
click to vote
ADAEUROPE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
108
click to vote
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
ASIACRYPT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. It is almost a folklore-knowledge that hash-based time-stamping schemes are secure if the underlying hash function is collisionresistant but still no rigorous proofs have...
121
click to vote
AUSAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The algorithm selection problem aims to select the best algorithm for an input problem instance according to some characteristics of the instance. This paper presents a l...