229 search results - page 33 / 46 » Bilateral Algorithms for Symbolic Abstraction |
TWC
2008
13 years 7 months ago
2008
Abstract-- Turbo equalization improves communication system performance by iteratively exchanging information between soft-input soft-output (SISO) equalizer and SISO channel decod...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— We consider spatially multiplexed MIMO transmission in the presence of co-channel interference with subset transmit antenna selection. Several algorithms for antenna se...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— A gesture-based interaction framework is presented for controlling mobile robots. This natural interaction paradigm has few physical requirements, and thus can be deplo...