5639 search results - page 517 / 1128 » Timed Abstract Non-interference |
144
click to vote
SAFECOMP
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. A system with a high degree of availability and survivability can be created via service duplication on disparate server platforms, where a compromise via a previously un...
190
click to vote
SAMT
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. This paper presents an approach to semi-automate photo annotation. Instead of using content-recognition techniques this approach leverages context information available a...
147
click to vote
SAT
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. We consider the problem of computing tractable approximations to CNF formulas, extending the approach of Selman and Kautz to compute the Horn-LUB to involve renaming of v...
129
click to vote
SCALESPACE
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. We propose a variational approach for multi-valued velocity field estimation in transparent sequences. Starting from existing local motion estimators, we show a variatio...
130
click to vote
SCIA
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. The rendering of lower resolution image data on higher resolution displays has become a very common task, in particular because of the increasing popularity of webcams, c...