Results 1  10
of
1,533
Auxiliary Variables
, 1990
"... Introduction Auxiliary variables are usually employed to record the history of a computation, and, thereby, allow reasoning over the entire computation history. They are typically defined by augmenting the program text; if, for instance, x is a program variable and y is a variable that counts the n ..."
Abstract
 Add to MetaCart
Introduction Auxiliary variables are usually employed to record the history of a computation, and, thereby, allow reasoning over the entire computation history. They are typically defined by augmenting the program text; if, for instance, x is a program variable and y is a variable that counts
Hoare Logic and Auxiliary Variables
 Formal Aspects of Computing
, 1998
"... Auxiliary variables are essential for specifying programs in Hoare Logic. They are required to relate the value of variables in different states. However, the axioms and rules of Hoare Logic turn a blind eye to the rle of auxiliary variables. We stipulate a new structural rule for adjusting auxiliar ..."
Abstract

Cited by 43 (0 self)
 Add to MetaCart
Auxiliary variables are essential for specifying programs in Hoare Logic. They are required to relate the value of variables in different states. However, the axioms and rules of Hoare Logic turn a blind eye to the rle of auxiliary variables. We stipulate a new structural rule for adjusting
Auxiliary Variables and Recursive Procedures
 In TAPSOFT '97, volume 1214 of LNCS
, 1997
"... Much research in axiomatic semantics suffers from a lack of formality. In particular, most proposed verification calculi for imperative programs dealing with recursive procedures are known to be unsound or incomplete. Focussing on total correctness, we present a new consequence rule which yields a s ..."
Abstract

Cited by 19 (0 self)
 Add to MetaCart
of auxiliary variables has been crucial for establishing our results. A comparison with VDM reinforces our view that auxiliary variables deserve to be treated seriously.
Auxiliary Variables for Deformable Models
 In International Conference on Computer Vision
, 1995
"... We present a new mathematical formulation for curve and surface reconstruction algorithms by introduction of auxiliary variables. For deformable models and templates, twostep iterative algorithms have been often used where, at each iteration, the model is first locally deformed according to the pot ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
We present a new mathematical formulation for curve and surface reconstruction algorithms by introduction of auxiliary variables. For deformable models and templates, twostep iterative algorithms have been often used where, at each iteration, the model is first locally deformed according
The Auxiliary Variable Trick for deriving
"... submitted for publication Abstract. We present a ForwardBackward Kalman smoother derivation that functions for small observation noise. Whilst this smoother can be found by judicious transformation of the standard ForwardBackward equations, we introduce an auxiliary variable trick which greatly si ..."
Abstract
 Add to MetaCart
submitted for publication Abstract. We present a ForwardBackward Kalman smoother derivation that functions for small observation noise. Whilst this smoother can be found by judicious transformation of the standard ForwardBackward equations, we introduce an auxiliary variable trick which greatly
MEDIAN ESTIMATION WITH AUXILIARY VARIABLES
"... Median estimation with auxiliary variables 3All'altra parte di me 4Durante questi tre anni ho avuto il piacere di collaborare con diverse persone che hanno contribuito alla mia crescita umana e professionale, vorrei esprimere a tutti loro la mia gratitudine. Un ringraziamento particolare va all ..."
Abstract
 Add to MetaCart
Median estimation with auxiliary variables 3All'altra parte di me 4Durante questi tre anni ho avuto il piacere di collaborare con diverse persone che hanno contribuito alla mia crescita umana e professionale, vorrei esprimere a tutti loro la mia gratitudine. Un ringraziamento particolare va
Multiple auxiliary variables in nonresponse adjustment
 Sociological Methods & Research
, 2011
"... Prior work has shown that effective survey nonresponse adjustment variables should be highly correlated with both the propensity to respond to a survey and the survey variables of interest. In practice, propensity models are often used for nonresponse adjustment with multiple auxiliary variables as ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Prior work has shown that effective survey nonresponse adjustment variables should be highly correlated with both the propensity to respond to a survey and the survey variables of interest. In practice, propensity models are often used for nonresponse adjustment with multiple auxiliary variables
THE USE OF AN AUXILIARY VARIABLE IN OPTIMUM STRATIFICATION
, 1979
"... When stratification is employed to reduce the variance of an estimate of the population mean, and the population does not possess an a priori partitioning, the degree of reduction provided is affected by the method of allocation, by the number of strata, and by the choice of the stratum boundaries. ..."
Abstract
 Add to MetaCart
the stratification is on an auxiliary variable related to the study variable by a known regression function, that the optimum stratification boundaries were theoretically obtainable as the solution of a system of nonlinear equations. In practice, when nothing is known about the relationship between the study
Exact Sampling Using Auxiliary Variables
 Statistical Computing Section, ASA Proceedings
, 1999
"... We discuss two simple algorithms for generating exact samples from the equilibrium distribution of a Markov chain. These algorithms are based on a single run of the Markov chain in an ordinary way. One can pick up certain samples from the run as samples from the equilibrium distribution. This is don ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
. This is done by introducing auxiliary variables as the indicators during the run. Key words Exact Sampling, Markov chain Monte Carlo, equilibrium distribution, cluster algorithm. 1. Introduction In many applications we need to sample the equilibrium distribution of a given Markov chain. It can be a
Results 1  10
of
1,533