2137 search results - page 292 / 428 » Proving Abstract Non-interference |
127
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—This paper is about designing optimal highthroughput hashing schemes that minimize the total number of memory accesses needed to build and access an hash table. Recent s...
123
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Mobile TV networks have received significant attention from the industry and academia, as they have already been deployed in several countries and their expected market...
135
click to vote
ACCV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents a novel nonparametric clustering algorithm called evolving mean shift (EMS) algorithm. The algorithm iteratively shrinks a dataset and generates well ...
158
click to vote
ACML
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: Our main contribution is to propose a novel model selection methodology, expectation minimization of information criterion (EMIC). EMIC makes a significant impact on the...
114
click to vote
ACNS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We examine the problem of message recognition by reviewing the definitions and the security model in the literature. In particular, we examine the Jane Doe protocol, whi...