7978 search results - page 80 / 1596 » Combining shared-coin algorithms |
ICC
2009
IEEE
15 years 6 months ago
2009
IEEE
— In this paper, we introduce an adaptive Lp–norm metric for robust coherent diversity combining in non–Gaussian noise and interference. We derive a general closed–form exp...
ICCBR
2009
Springer
15 years 6 months ago
2009
Springer
This paper presents a new approach for spatial event prediction that combines a value function approximation algorithm and case-based reasoning predictors. Each of these predictors...
IROS
2007
IEEE
15 years 5 months ago
2007
IEEE
— Two novel methods for computing 3D structure information from video for a piecewise planar scene are presented. The first method is based on a new line constraint, which clear...
ICALP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
TPHOL
1999
IEEE
15 years 3 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...