We design an end-to-end linear transceiver in the downlink of a multi-user multiple-input multiple-output (MIMO) system with multiple data streams per user and quantized channel s...
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
We present here a method giving a robust segmentation for in vitro cells observed under standard phase-contrast microscopy. We tackle the problem using the watershed transform. Wa...
The Discrete Wavelet Transform is a proven tool for a wide range of database applications. However, despite broad acceptance, some of its properties have not been fully explored a...
Mehrdad Jahangiri, Dimitris Sacharidis, Cyrus Shah...
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...