Sciweavers

601 search results - page 53 / 121
» Quantified Equality Constraints
Sort
View
113
Voted
AUTOMATICA
2007
61views more  AUTOMATICA 2007»
15 years 26 days ago
On delay-derivative-dependent stability of systems with fast-varying delays
Stability of linear systems with uncertain bounded time-varying delays is studied under the assumption that the nominal delay values are not equal to zero. An input-output approac...
Eugenii Shustin, Emilia Fridman
CORR
2006
Springer
76views Education» more  CORR 2006»
15 years 23 days ago
Complexity Constrained Noise-Free CDMA: Optimal Power Distribution and Spectral Efficiency
The issue of multiuser cooperation in a complexity constrained noise-free CDMA channel is addressed. Multiuser cooperation is imperative if conventional demodulation is expected to...
Rodrigo de Miguel, Ralf R. Müller
110
Voted
TIT
2008
105views more  TIT 2008»
15 years 19 days ago
Network Coding Capacity With a Constrained Number of Coding Nodes
Abstract-- We study network coding capacity under a constraint on the total number of network nodes that can perform coding. That is, only a certain number of network nodes can pro...
Jillian Cannons, Kenneth Zeger
117
Voted
ICASSP
2011
IEEE
14 years 4 months ago
Linear precoding for time-varying MIMO channels with low-complexity receivers
This paper considers linear precoding for time-varying multipleinput multiple-output (MIMO) channels. We show that linear minimum mean-squared error (LMMSE) equalization based on ...
Jun Tong, Peter J. Schreier, Steven R. Weller, Lou...
143
Voted
CADE
2005
Springer
16 years 1 months ago
The Decidability of the First-Order Theory of Knuth-Bendix Order
Two kinds of orderings are widely used in term rewriting and theorem proving, namely recursive path ordering (RPO) and Knuth-Bendix ordering (KBO). They provide powerful tools to p...
Ting Zhang, Henny B. Sipma, Zohar Manna