7978 search results - page 80 / 1596 » Combining shared-coin algorithms |
138
click to vote
ICC
2009
IEEE
16 years 29 days 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...
131
click to vote
ICCBR
2009
Springer
16 years 23 days 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...
156
click to vote
IROS
2007
IEEE
16 years 15 days 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...
158
click to vote
ICALP
2005
Springer
15 years 11 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...
161
click to vote
TPHOL
1999
IEEE
15 years 10 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...