Sciweavers

3224 search results - page 240 / 645
» Abstract Error Projection
Sort
View
CORR
2008
Springer
106views Education» more  CORR 2008»
15 years 6 months ago
Quantization of Prior Probabilities for Hypothesis Testing
Abstract--In this paper, Bayesian hypothesis testing is investigated when the prior probabilities of the hypotheses, taken as a random vector, are quantized. Nearest neighbor and c...
Kush R. Varshney, Lav R. Varshney
ML
2008
ACM
15 years 6 months ago
Large margin vs. large volume in transductive learning
Abstract. We consider a large volume principle for transductive learning that prioritizes the transductive equivalence classes according to the volume they occupy in hypothesis spa...
Ran El-Yaniv, Dmitry Pechyony, Vladimir Vapnik
TCAD
2008
181views more  TCAD 2008»
15 years 6 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...
AUTOMATICA
2005
82views more  AUTOMATICA 2005»
15 years 6 months ago
Consistency analysis of some closed-loop subspace identification methods
We study statistical consistency of two recently proposed subspace identification algorithms for closed-loop systems. These algorithms een as implementations of an abstract state-...
Alessandro Chiuso, Giorgio Picci
TSP
2008
72views more  TSP 2008»
15 years 6 months ago
Seismic Velocity and Polarization Estimation for Wavefield Separation
Abstract--We address the problem of estimating the shape parameters of seismic wavefields using linear arrays of three-component (3C) vector sensors with uncertain acquisition geom...
Daniela Donno, Arye Nehorai, Umberto Spagnolini