472 search results - page 86 / 95 » Symbolic range propagation |
SCN
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. A hidden vector encryption scheme (HVE) is a derivation of identity-based encryption, where the public key is actually a vector over a certain alphabet. The decryption ke...
GLOBECOM
2010
IEEE
13 years 7 months ago
2010
IEEE
As the date rates and bandwidths of communication systems scale up, the cost and power consumption of highprecision (e.g., 8-12 bits) analog-to-digital converters (ADCs) become pro...
ECOI
2011
13 years 4 months ago
2011
The potential for physical flora collections to support scientific research is being enhanced by rapid development of digital databases that represent characteristics of the physic...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
Most multiuser precoding techniques require accurate transmitter channel state information (CSIT) to maintain orthogonality between the users. Such techniques have proven quite fr...
POPL
2012
ACM
12 years 5 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...