Results 1  10
of
1,456,324
Linear Explicit Substitutions
 In Proc. of Westapp'98
, 1998
"... The oecalculus adds explicit substitutions to the calculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises the oecalculus to provide a linear calculus of explicit substitutions, called xDILL, which ..."
Abstract

Cited by 11 (7 self)
 Add to MetaCart
The oecalculus adds explicit substitutions to the calculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises the oecalculus to provide a linear calculus of explicit substitutions, called x
Linear explicit substitutions (Extended Abstract)
 IN PROCEEDINGS OF WESTAPP'98
, 1998
"... The calculus [1] adds explicit substitutions to thecalculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises thecalculus to provide a linear calculus of explicit substitutions which analogously desc ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
The calculus [1] adds explicit substitutions to thecalculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises thecalculus to provide a linear calculus of explicit substitutions which analogously
Linear Explicit Substitutions (Extended Abstract)
"... Abstract The *oecalculus [1] adds explicit substitutions to the *calculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises the *oecalculus to provide a linear calculus of explicit substitutions whic ..."
Abstract
 Add to MetaCart
Abstract The *oecalculus [1] adds explicit substitutions to the *calculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises the *oecalculus to provide a linear calculus of explicit substitutions
Explicit substitutions
, 1996
"... The λσcalculus is a refinement of the λcalculus where substitutions are manipulated explicitly. The λσcalculus provides a setting for studying the theory of substitutions, with pleasant mathematical properties. It is also a useful bridge between the classical λcalculus and concrete implementatio ..."
Abstract

Cited by 438 (15 self)
 Add to MetaCart
The λσcalculus is a refinement of the λcalculus where substitutions are manipulated explicitly. The λσcalculus provides a setting for studying the theory of substitutions, with pleasant mathematical properties. It is also a useful bridge between the classical λcalculus and concrete
Eigenfaces vs. Fisherfaces: Recognition Using Class Specific Linear Projection
, 1997
"... We develop a face recognition algorithm which is insensitive to gross variation in lighting direction and facial expression. Taking a pattern classification approach, we consider each pixel in an image as a coordinate in a highdimensional space. We take advantage of the observation that the images ..."
Abstract

Cited by 2315 (17 self)
 Add to MetaCart
from this linear subspace. Rather than explicitly modeling this deviation, we linearly project the image into a subspace in a manner which discounts those regions of the face with large deviation. Our projection method is based on Fisher's Linear Discriminant and produces well separated classes
Symbolic Model Checking: 10^20 States and Beyond
, 1992
"... Many different methods have been devised for automatically verifying finite state systems by examining stategraph models of system behavior. These methods all depend on decision procedures that explicitly represent the state space using a list or a table that grows in proportion to the number of st ..."
Abstract

Cited by 760 (41 self)
 Add to MetaCart
Many different methods have been devised for automatically verifying finite state systems by examining stategraph models of system behavior. These methods all depend on decision procedures that explicitly represent the state space using a list or a table that grows in proportion to the number
Learning to detect natural image boundaries using local brightness, color, and texture cues
 PAMI
, 2004
"... The goal of this work is to accurately detect and localize boundaries in natural scenes using local image measurements. We formulate features that respond to characteristic changes in brightness, color, and texture associated with natural boundaries. In order to combine the information from these fe ..."
Abstract

Cited by 624 (18 self)
 Add to MetaCart
outperforms existing approaches. Our two main results are 1) that cue combination can be performed adequately with a simple linear model and 2) that a proper, explicit treatment of texture is required to detect boundaries in natural images.
Alternatingtime Temporal Logic
 Journal of the ACM
, 1997
"... Temporal logic comes in two varieties: lineartime temporal logic assumes implicit universal quantification over all paths that are generated by system moves; branchingtime temporal logic allows explicit existential and universal quantification over all paths. We introduce a third, more general var ..."
Abstract

Cited by 619 (53 self)
 Add to MetaCart
Temporal logic comes in two varieties: lineartime temporal logic assumes implicit universal quantification over all paths that are generated by system moves; branchingtime temporal logic allows explicit existential and universal quantification over all paths. We introduce a third, more general
National debt in a neoclassical growth model.'
 American Economic Review,
"... This paper contains a model designed to serve two purposes, to examine longrun competitive equilibrium in a growth model and then to explore the effects on this equilibrium of government debt. Samuelson [8] has examined the determination of interest rates in a singlecommodity world without durable ..."
Abstract

Cited by 695 (0 self)
 Add to MetaCart
consumption decisions are made individually, where taxes to finance the debt are included in the analysis, and where the changes in output arising from changes in the capital stock are explicitly acknowledged. It is seen that in the "normal" case external debt reduces the utility of an individual
An almost ideal demand system.
 American Economic Review,
, 1980
"... Ever since Richard Stone (1954) first estimated a system of demand equations derived explicitly from consumer theory, there has been a continuing search for alternative specifications and functional forms. Many models have been proposed, but perhaps the most important in current use, apart from the ..."
Abstract

Cited by 633 (0 self)
 Add to MetaCart
Ever since Richard Stone (1954) first estimated a system of demand equations derived explicitly from consumer theory, there has been a continuing search for alternative specifications and functional forms. Many models have been proposed, but perhaps the most important in current use, apart from
Results 1  10
of
1,456,324