9871 search results - page 270 / 1975 » On the Structure of Low Sets |
152
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
Underlining the viability of multiuser (MU) MIMO for future wireless communications as long term evolution (LTE), we propose in this paper a precoding strategy based on the low res...
203
click to vote
ICALP
1998
Springer
15 years 11 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
183
click to vote
GRAMMARS
2002
15 years 6 months ago
2002
Abstract. A formal architecture for Construction Grammar (CG) is sketched. Modeling domain objects (constructs) are constituent structures with feature structures at the nodes, aka...
202
Voted
DAC
2004
ACM
15 years 10 months ago
2004
ACM
In an attempt to enable the cost-effective production of lowand mid-volume application-specific chips, researchers have proposed a number of so-called structured ASIC architecture...
172
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...