503 search results - page 55 / 101 » Equality In Lazy Computation Systems |
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper, we introduce a novel vector quantization (VQ) scheme for distributing the quantization error equally among the quantized dimensions. Afterwards, the proposed VQ sch...
ICC
2008
IEEE
14 years 3 months ago
2008
IEEE
— Semi-blind spatial equalisation is considered for multiple-input multiple-output (MIMO) systems that employ high-throughput quadrature amplitude modulation scheme. A minimum nu...
RTSS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper focuses on scheduling different hard real-time applications on a uniprocessor when the earliest deadline first algorithm is used as the local scheduler, and the global ...
KI
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
MKM
2007
Springer
14 years 2 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...