556 search results - page 52 / 112 » Generic Properties of Datatypes |
112
click to vote
CRYPTO
2011
Springer
13 years 10 months ago
2011
Springer
In CRYPTO 1997, Canetti et al.put forward the intruiging notion of deniable encryption, which (informally) allows a sender and/or receiver, having already performed some encrypted...
112
click to vote
CVPR
2000
IEEE
16 years 2 days ago
2000
IEEE
Towards the goal of realizing a generic automatichuman activity recognition system, a new formalism is proposed. Activities are described by a chained hierarchical representation ...
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
The problem attempted in this paper is to select a sample from a large set where the sample is required to have a particular average property. The problem can be expressed as an o...
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
FAC
2008
14 years 10 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...