— In this paper, the performance of an exponentially modulated filter bank based multicarrier (FBMC) modulation is compared with a cyclic prefix based OFDM (CP-OFDM). Both fram...
Tero Ihalainen, Tobias Hidalgo Stitz, Ari Viholain...
We consider the problem of sensor selection so as to minimise error in estimated location of target. An algorithm based on selecting a sensor in a direction in which the error is ...
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...
Bayesian methods are valuable, inter alia, whenever there is a need to extract information from data that is uncertain or subject to any kind of error or noise (including measurem...
Engineering complete planning domain descriptions is often very costly because of human error or lack of domain knowledge. Learning complete domain descriptions is also very chall...