490 search results - page 24 / 98 » Equivalent Keys of HPC |
108
Voted
IPL
2000
15 years 1 months ago
2000
We show that stratified context unification, which is one of the most expressive fragments of context unification known to be decidable, is equivalent to the satisfiability proble...
TIT
2002
15 years 1 months ago
2002
We extend a low-rate improvement of the random coding bound on the reliability of a classical discrete memoryless channel (DMC) to its quantum counterpart. The key observation that...
106
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
—In this paper, the performance of signaling strategies with high peak-to-average power ratio is analyzed in both coherent and noncoherent fading channels. Two modulation schemes...
153
Voted
MP
2002
15 years 1 months ago
2002
We introduce an alternative to the smoothing technique approach for constrained optimization. As it turns out for any given smoothing function there exists a modification with part...
128
Voted
ISSADS
2005
Springer
15 years 7 months ago
2005
Springer
Workflow is the key technology for business process automation, while distributed workflow is the solution to deal with the decentralized nature of workflow applications and the pe...