Results 1  10
of
352,502
Semantics of ContextFree Languages
 In Mathematical Systems Theory
, 1968
"... "Meaning " may be assigned to a string in a contextfree language by defining "attributes " of the symbols in a derivation tree for that string. The attributes can be defined by functions associated with each production in the grammar. This paper examines the implications of th ..."
Abstract

Cited by 568 (0 self)
 Add to MetaCart
. An algorithm is given which detects when such semantic rules could possibly lead to circular definition of some attributes. An example is given of a simple programming language defined with both inherited and synthesized attributes, and the method of definition is compared to other techniques for formal
The circular nature of discretetime frequency estimates
 in: IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP
, 1991
"... Although it is wellknown that sampling in the timedomain leads to periodicity in the frequency domain, this periodic or circular nature of discretetime frequency estimates is often neglected in subsequent calculations yielding misleading results. Circular data, such as discretetime frequency or p ..."
Abstract

Cited by 11 (2 self)
 Add to MetaCart
Although it is wellknown that sampling in the timedomain leads to periodicity in the frequency domain, this periodic or circular nature of discretetime frequency estimates is often neglected in subsequent calculations yielding misleading results. Circular data, such as discretetime frequency
Circular
, 2003
"... photogalvanic effect at interband excitation in semiconductor quantum wells ..."
Abstract
 Add to MetaCart
photogalvanic effect at interband excitation in semiconductor quantum wells
Rendering with concentric mosaics
 in Proc. SIGGRAPH
, 1999
"... This paper presents a novel 3D plenoptic function, which we call concentric mosaics. We constrain camera motion to planar concentric circles, and create concentric mosaics using a manifold mosaic for each circle (i.e., composing slit images taken at different locations). Concentric mosaics index all ..."
Abstract

Cited by 243 (29 self)
 Add to MetaCart
all input image rays naturally in 3 parameters: radius, rotation angle and vertical elevation. Novel views are rendered by combining the appropriate captured rays in an efficient manner at rendering time. Although vertical distortions exist in the rendered images, they can be alleviated by depth
Proper complex random processes with applications to information theory
 152 tel00906143, version 1  19 Nov 2013
, 1993
"... Abstract The “covariance ” of complex random variables and processes, when defined consistently with the corresponding notion for real random variables, is shown to be determined by the usual (complex) covariance together with a quantity called the pseudocovariance. A characterization of uncorrela ..."
Abstract

Cited by 192 (0 self)
 Add to MetaCart
assumes a natural form only for proper random variables. The maximumentropy theorem is generalized to the complexmultivariate case. The differential entropy of a complex random vector with a fixed correlation matrix is shown to be maximum, if and only if the random vector is proper, Gaussian and zero
CircularSecure Encryption from Decision DiffieHellman
, 2008
"... Let E be a publickey encryption system and let (pk i, ski) be public/private key pairs for E for i = 0,..., n. A natural question is whether E remains secure once an adversary obtains an encryption cycle, which consists of the encryption of ski under pk (i mod n)+1 for all i = 1,..., n. Surprisingl ..."
Abstract

Cited by 75 (9 self)
 Add to MetaCart
Let E be a publickey encryption system and let (pk i, ski) be public/private key pairs for E for i = 0,..., n. A natural question is whether E remains secure once an adversary obtains an encryption cycle, which consists of the encryption of ski under pk (i mod n)+1 for all i = 1,..., n
Circular Coinduction
 In International Joint Conference on Automated Reasoning
, 2000
"... Circular coinduction is a technique for behavioral reasoning that extends cobasis coinduction to specifications with circularities. Because behavioral satisfaction is not recursively enumerable, no algorithm can work for every behavioral statement. However, algorithms using circular coinduction can ..."
Abstract

Cited by 10 (6 self)
 Add to MetaCart
Circular coinduction is a technique for behavioral reasoning that extends cobasis coinduction to specifications with circularities. Because behavioral satisfaction is not recursively enumerable, no algorithm can work for every behavioral statement. However, algorithms using circular coinduction can
Results 1  10
of
352,502