Sciweavers

770 search results - page 88 / 154
» Abstract Yourself With Modules
Sort
View
ICC
2000
IEEE
154views Communications» more  ICC 2000»
15 years 5 months ago
Adaptive Multi-Input Multi-Output Fading Channel Equalization Using Kalman Estimation
Abstract—This paper addresses the problem of adaptive channel tracking and equalization for multi-input multi-output (MIMO) time-variant frequency-selective channels. A finite-l...
Christos Komninakis, Christina Fragouli, Ali H. Sa...
FM
1999
Springer
114views Formal Methods» more  FM 1999»
15 years 4 months ago
Integrating Formal Description Techniques
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
Bernhard Schätz, Franz Huber
FMCAD
2007
Springer
15 years 4 months ago
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...
105
Voted
ARC
2006
Springer
201views Hardware» more  ARC 2006»
15 years 4 months ago
Dynamic Partial Reconfigurable FIR Filter Design
Abstract. This paper presents a novel partially reconfigurable FIR filter design that employs dynamic partial reconfiguration. Our scope is to implement a low-power, area-efficient...
Yeong-Jae Oh, Hanho Lee, Chong Ho Lee
AUSAI
2006
Springer
15 years 4 months ago
LPForget: A System of Forgetting in Answer Set Programming
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...
Fu-Leung Cheng, Thomas Eiter, Nathan Robinson, Abd...