19130 search results - page 267 / 3826 » Modelling multi-path problems |
151
click to vote
TSP
2010
15 years 1 months ago
2010
We consider the robust precoder design for Multi-User Multiple Input Single Output (MU-MISO) systems where the Channel State Information (CSI) is fed back from the single antenna ...
185
click to vote
TSP
2011
15 years 1 months ago
2011
—Detection of the number of sinusoids embedded in noise is a fundamental problem in statistical signal processing. Most parametric methods minimize the sum of a data fit (likeli...
181
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
199
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
This paper discusses a new model of parallel evolutionary algorithms (EAs) called the specialized island model (SIM) that can be used to generate a set of diverse non-dominated sol...
167
click to vote
FORTE
2008
15 years 8 months ago
2008
Abstract. Model generation is an important formal technique for finding interesting instances of computationally hard problems. In this paper we study model generation over Horn lo...