Abstract— In this contribution we present a novel ant colony optimization (ACO) based multi-user detector (MUD) designed for synchronous multi-carrier direct sequence code divisi...
This paper presents a maximum likelihood (ML) framework for multimicrophone sound source localization (SSL). Besides deriving the framework, we focus on making the connection and ...
Abstract—This paper proposes a new differential super-quasiorthogonal space-time trellis codes (SQOSTTC) with singlesymbol maximum-likelihood (ML) decoding. Firstly, a new joint ...
Jun Wang, Jing Qian, Junhui Dou, Shouyin Liu, Seon...
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...
Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes...
Reactis is a commercially successful testing and validation tool which is implemented almost entirely in Standard ML. Our experience using a functional language to develop a comme...