4397 search results - page 760 / 880 » Relational Algebra Operations |
103
click to vote
VSTTE
2012
Springer
13 years 6 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
CRYPTO
2012
Springer
13 years 1 months ago
2012
Springer
Abstract. In this paper, we study the security proofs of GCM (Galois/Counter Mode of Operation). We first point out that a lemma, which is related to the upper bound on the probab...
109
click to vote
TON
2012
13 years 1 months ago
2012
—While many attacks are distributed across botnets, investigators and network operators have recently identified malicious networks through high profile autonomous system (AS) ...
101
click to vote
CVPR
2012
IEEE
13 years 1 months ago
2012
IEEE
We propose an approach for cross-view action recognition by way of ‘virtual views’ that connect the action descriptors extracted from one (source) view to those extracted from...
101
click to vote
CVPR
2009
IEEE
16 years 6 months ago
2009
IEEE
Head pose and eye location estimation are two closely
related issues which refer to similar application areas. In
recent years, these problems have been studied individually
in ...