3002 search results - page 150 / 601 » Cloud Based Design Optimization |
154
Voted
ICNSC
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, a variance constrained filtering problem is considered for systems with both non-Gaussian noises and polytopic uncertainty. A novel filter is developed to estimate t...
147
Voted
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
—In this paper, a quality-of-service driven routing protocol is proposed for wireless cooperative networks. The key contribution of the proposed protocol is to bring the performa...
122
Voted
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
—Robust tuning of lead-lag type controller used for regulating FACTS control signal to improve dynamic stability has been an area of interest in research. This paper presents a n...
151
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Evolutionary Algorithms’ (EAs’) application to real world optimization problems often involves expensive fitness function evaluation. Naturally this has a crippling effect on ...
147
Voted
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...