Sciweavers

1818 search results - page 289 / 364
» Operant conditioning
Sort
View
TSP
2008
85views more  TSP 2008»
15 years 2 months ago
Convergence of a Class of Decentralized Beamforming Algorithms
One of the key issues in decentralized beamforming is the need to phasealign the carriers of all the sensors in the network. Recent work in this area has shown the viability of ce...
James A. Bucklew, William A. Sethares
TSP
2008
113views more  TSP 2008»
15 years 2 months ago
Avoiding Divergence in the Shalvi-Weinstein Algorithm
The most popular algorithms for blind equalization are the constant-modulus algorithm (CMA) and the ShalviWeinstein algorithm (SWA). It is well-known that SWA presents a higher co...
Maria D. Miranda, Magno T. M. Silva, Victor H. Nas...
LOGCOM
2007
97views more  LOGCOM 2007»
15 years 2 months ago
Termination for Hybrid Tableaus
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...
Thomas Bolander, Patrick Blackburn
CJ
2004
105views more  CJ 2004»
15 years 2 months ago
Generalized Template Splay: A Basic Theory and Calculus
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
George F. Georgakopoulos, David J. McClurkin
99
Voted
ENTCS
2002
114views more  ENTCS 2002»
15 years 2 months ago
Adjunction Models For Call-By-Push-Value With Stacks
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call-by-name paradigms are built. We present i...
Paul Blain Levy