Sciweavers

1584 search results - page 136 / 317
» Continuous Optimization of Hyper-Parameters
Sort
View
MP
2008
99views more  MP 2008»
15 years 4 months ago
Compact formulations as a union of polyhedra
We explore one method for finding the convex hull of certain mixed integer sets. The approach is to break up the original set into a small number of subsets, find a compact polyhed...
Michele Conforti, Laurence A. Wolsey
AC
2005
Springer
15 years 4 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
103
Voted
TCOM
2008
66views more  TCOM 2008»
15 years 4 months ago
Lattice codes for amplified direct-detection optical systems
Theories of shaping for lattice codes have been developed for systems (optical or non-optical) using coherent detection with additive white Gaussian noise (AWGN) and for direct-det...
Wei Mao, Joseph M. Kahn
CEE
2005
92views more  CEE 2005»
15 years 4 months ago
An adaptive call admission algorithm for cellular networks
In this paper, we first propose a new continuous action-set learning automaton and theoretically study its convergence properties and show that it converges to the optimal action....
Hamid Beigy, Mohammad Reza Meybodi
137
Voted
JIRS
2007
119views more  JIRS 2007»
15 years 4 months ago
Design and Stability Analysis of Fuzzy Model-based Predictive Control - A Case Study
In the paper a fuzzy model based predictive control algorithm is presented. The proposed algorithm is developed in the state space and is given in analytical form, which is an adva...
Saso Blazic, Igor Skrjanc