12084 search results - page 306 / 2417 » Effect Systems with Subtyping |
190
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper proposes a novel approach to stability analysis and controller synthesis for discrete-time periodically time-varying systems. Firstly, a relaxation of standard Lyapunov ...
283
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
152
click to vote
GLOBECOM
2009
IEEE
16 years 2 months ago
2009
IEEE
—In this paper, we study the impact of antenna correlation at mobile units (MUs) on the capacity of multi-user multiple-input multiple-output (MIMO) systems with rate constraints...
200
click to vote
IEEEIAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Current Intrusion Detection Systems (IDS) examine all data features to detect intrusion or misuse patterns. Some of the features may be redundant or contribute little (if anything...
183
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
—Any system which must learn to perform a large number of behavioral features with limited information handling resources will tend to be constrained within a set of architectura...