Sciweavers

180 search results - page 16 / 36
» ml 2007
Sort
View
VTC
2007
IEEE
143views Communications» more  VTC 2007»
14 years 5 months ago
Ant-Colony-Based Multiuser Detection for MC DS-CDMA Systems
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...
Chong Xu, Lie-Liang Yang, Lajos Hanzo
ICASSP
2007
IEEE
14 years 5 months ago
Maximum Likelihood Sound Source Localization for Multiple Directional Microphones
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 ...
Cha Zhang, Zhengyou Zhang, Dinei A. F. Florê...
VTC
2007
IEEE
103views Communications» more  VTC 2007»
14 years 5 months ago
Differential Super-Quasi-Orthogonal Space-Time Trellis Codes
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...
SECURWARE
2007
IEEE
14 years 5 months ago
Temporal Verification in Secure Group Communication System Design
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...
ICFP
2007
ACM
14 years 2 months ago
Experience report: the reactis validation tool
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...
Steve Sims, Daniel C. DuVarney