6978 search results - page 1123 / 1396 » On Proofs in System P |
182
click to vote
DSS
2000
15 years 6 months ago
2000
Project portfolio selection is a crucial decision in many organizations, which must make informed decisions on investment, where the appropriate distribution of investment is comp...
168
click to vote
CUZA
2002
15 years 6 months ago
2002
Metacomputing allows the exploitation of geographically seperate, heterogenous networks and resources. Most metacomputers are feature rich and carry a long, complicated installati...
159
click to vote
TNN
1998
15 years 6 months ago
1998
—Relaxation oscillations exhibiting more than one time scale arise naturally from many physical systems. When relaxation oscillators are coupled in a way that resembles chemical ...
154
click to vote
SLOGICA
2002
15 years 6 months ago
2002
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
195
click to vote
MONET
2008
15 years 6 months ago
2008
This paper presents the performance comparison of efficiency. OFDM is well known as a spectrally efficient Cognitive Radio TDCS and OFDM based for MIMO system modulation mode which...