4674 search results - page 134 / 935 » cases 2008 |
125
click to vote
DM
2008
15 years 6 months ago
2008
Abstract. It is known that the weight enumerator of a self-dual doublyeven code in genus g = 1 can be uniquely written as an isobaric polynomial in certain homogeneous polynomials ...
176
click to vote
ENTCS
2008
15 years 6 months ago
2008
Normalization for the simply-typed -calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait'...
154
click to vote
TIT
2008
15 years 6 months ago
2008
In this paper, approximation by linear combinations of an increasing number n of computational units with adjustable parameters (such as perceptrons and radial basis functions) is ...
161
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract-- We consider the problem of rate and power allocation in a fading multiple-access channel. Our objective is to obtain rate and power allocation policies that maximize a u...
171
click to vote
AGI
2008
15 years 7 months ago
2008
We give a brief overview of the main characteristics of diagrammatic reasoning, analyze a case of human reasoning in a mastermind game, and explain why hybrid representation system...