Sciweavers

5451 search results - page 368 / 1091
» The SIGNAL Expert System
Sort
View
TCAD
1998
95views more  TCAD 1998»
15 years 6 months ago
A framework for comparing models of computation
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
GLOBECOM
2007
IEEE
16 years 1 months ago
Optimum Power Allocation and Bit Loading for Systems with Suboptimum Receivers
— Waterfilling and mercury/waterfilling power allocation policies maximize the mutual information of independent parallel Gaussian-noise channels under an average power constra...
David Matas, Meritxell Lamarca
ICC
2007
IEEE
16 years 1 months ago
A Simple Multistage Multiuser Receiver for UMTS-CDMA Systems
— In this paper, we present a new subsymbol-based multistage multiuser receiver using partial parallel interference cancellation (PPIC) scheme for uplink multirate wideband UMTS-...
Mohsen Ghotbi, Reza Sayyahi, M. Reza Soleymani
FORMATS
2007
Springer
16 years 1 months ago
AMT: A Property-Based Monitoring Tool for Analog Systems
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
Dejan Nickovic, Oded Maler
ICMCS
2005
IEEE
126views Multimedia» more  ICMCS 2005»
16 years 14 days ago
A Real-Time Lip SYNC System Using a Genetic Algorithm for Automatic Neural Network Configuration
In this paper we present a new method for mapping a natural speech to the lip shape animation in the real time. The speech signal, represented by MFCC vectors, is classified into ...
Goranka Zoric, Igor S. Pandzic