11200 search results - page 1592 / 2240 » An Object-oriented Optimization System |
243
click to vote
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
162
click to vote
CSIE
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, a digital image watermarking technique based on Discrete Wavelet Transform (DWT) will be proposed. This scheme is designed utilizing principles deriving from the hu...
182
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— Semi-blind space-time equalisation is considered for dispersive multiple-input multiple-output systems that employ high-throughput quadrature amplitude modulation signalling. A...
190
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we re-examine the recently proposed distributed state estimators based on quantized innovations. It is widely believed that the error covariance of the Quantized In...
164
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper we consider the optimization of transceivers which use the nonlinear vector perturbation technique at the transmitter. Since the perturbation vector can be almost...