3765 search results - page 656 / 753 » Formal Methods for Systems Engineering Behavior Models |
109
Voted
WIOPT
2010
IEEE
15 years 26 days ago
2010
IEEE
—The paper presents a methodology that combines statistical learning with constraint optimization by locally optimizing Radio Resource Management (RRM) or system parameters of po...
100
Voted
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— An experimental design approach is used to determine which factors (design parameters) of Spectrally Modulated, Spectrally Encoded (SMSE) waveforms have the greatest im...
167
click to vote
SIAMCOMP
2011
14 years 9 months ago
2011
Abstract. In the 2nd Annual FOCS (1961), Chao-Kong Chow proved that every Boolean threshold function is uniquely determined by its degree-0 and degree-1 Fourier coefficients. These...
146
Voted
WSC
1997
15 years 3 months ago
1997
Distributed discrete event simulation techniques aim at an acceleration of the execution of a self-contained simulation model by the spatial decomposition of that model and the co...
102
click to vote
SCA
2007
15 years 5 months ago
2007
We present a novel skinned skeletal animation system based on spline-aligned deformations for providing high quality and fully designable deformations in real-time. Our ambition i...