3561 search results - page 240 / 713 » Design: One, but in different forms |
147
click to vote
APAL
2010
15 years 6 months ago
2010
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT 0, which we...
181
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The performance in higher secondary school education in India is a turning point in the academic lives of all students. As this academic performance is influenced by many factors,...
186
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this pair of papers (Part I and Part II in this issue), we investigate the issue of power control and subcarrier assignment in a sectorized two-cell downlink OFDMA system impair...
146
click to vote
DEBU
2010
15 years 6 months ago
2010
A major hardness of processing searches issued in the form of keywords on structured data is the ambiguity problem. A set of keywords itself is not a complete piece of information...
141
click to vote
EOR
2008
15 years 6 months ago
2008
In this paper we study an assemble-to-order environment involving a short-life-cycle product. The product is sold in two different configurations, each requiring a unique componen...