Abstract. In this paper we consider communication issues arising in cellular (mobile) networks that utilize frequency division multiplexing (FDM) technology. In such networks, many...
Ioannis Caragiannis, Christos Kaklamanis, Evi Papa...
A new method is presented to model symbolically strongly nonlinear circuits, characterized by Piece-Wise Linear (PWL) functions. The method follows the idea of Bokhoven and Leenae...
Alicia Manthe, Zhao Li, C.-J. Richard Shi, Kartike...
This paper is part of a larger study of remote print defect diagnosis. The goals of the integrated print defect diagnosis system are to reduce diagnosis time, streamline communica...
Shijun Qiu, Alice M. Agogino, Shuang Song, Jialong...
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
We introduce an efficient statistical modeling technique called Mixture of Principal Components (MPC). This model is a linear extension to the traditional Principal Component Anal...