535 search results - page 67 / 107 » Do we need dependent types |
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
Previously, the well-known Optimum Gaussian Detector (OGD) has been extended to the Multiple-Input MultipleOutput (MIMO) case where all transmit-receive subarrays are considered j...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
- Nowadays computing becomes increasingly mobile and pervasive. One of the important steps in pervasive computing is context-awareness. Context-aware pervasive systems rely on info...
RT
1999
Springer
13 years 12 months ago
1999
Springer
There is a need for reliable lighting design applications because available tools are limited and inappropriate for interactive or creative use. Architects and lighting designers ...
STOC
2006
ACM
14 years 8 months ago
2006
ACM
In this paper we consider bounded real-valued functions over the discrete cube, f : {-1, 1}n [-1, 1]. Such functions arise naturally in theoretical computer science, combinatorics...
VLDB
2007
ACM
14 years 7 months ago
2007
ACM
Although the presence of a schema enables many optimizations for operations on XML documents, recent studies have shown that many XML documents in practice either do not refer to ...