Sciweavers

1638 search results - page 305 / 328
» Properties of input-consuming derivations
Sort
View
FOSSACS
2001
Springer
15 years 2 months ago
On Garbage and Program Logic
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
Cristiano Calcagno, Peter W. O'Hearn
WDAG
2001
Springer
122views Algorithms» more  WDAG 2001»
15 years 2 months ago
Computation Slicing: Techniques and Theory
We generalize the notion of slice introduced in our earlier paper [6]. A slice of a distributed computation with respect to a global predicate is the smallest computation that cont...
Neeraj Mittal, Vijay K. Garg
CVPR
2000
IEEE
15 years 2 months ago
Adaptive Bayesian Recognition in Tracking Rigid Objects
We present a framework for tracking rigid objects based on an adaptive Bayesian recognition technique that incorporates dependencies between object features. At each frame we fin...
Yuri Boykov, Daniel P. Huttenlocher
DCC
2000
IEEE
15 years 2 months ago
Iterative Source/Channel-Decoding Using Reversible Variable Length Codes
In this paper we describe a trellis representation of variable length coded data which is capable of being used for bit-level or symbol-level maximum a posteriori (MAP) decoding o...
Rainer Bauer, Joachim Hagenauer
FGR
2000
IEEE
200views Biometrics» more  FGR 2000»
15 years 2 months ago
The Global Dimensionality of Face Space
Low-dimensional representations of sensory signals are key to solving many of the computational problems encountered in high-level vision. Principal Component Analysis (PCA) has b...
Penio S. Penev, Lawrence Sirovich