441 search results - page 23 / 89 » A Method for Proving Observational Equivalence |
MA
2010
Springer
13 years 7 months ago
2010
Springer
We consider Bayesian analysis of data from multivariate linear regression models whose errors have a distribution that is a scale mixture of normals. Such models are used to analy...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
SIAMMAX
2010
13 years 3 months ago
2010
Linear Discriminant Analysis (LDA) is one of the most popular approaches for feature extraction and dimension reduction to overcome the curse of the dimensionality of the high-dime...
MICRO
2008
IEEE
13 years 8 months ago
2008
IEEE
Dynamically tracking the flow of data within a microprocessor creates many new opportunities to detect and track malicious or erroneous behavior, but these schemes all rely on the...
SIGECOM
2006
ACM
14 years 2 months ago
2006
ACM
Our proposed methods employ learning and search techniques to estimate outcome features of interest as a function of mechanism parameter settings. We illustrate our approach with ...