6514 search results - page 789 / 1303 » Low-Knowledge Algorithm Control |
126
click to vote
ENTCS
2007
15 years 4 months ago
2007
RCCS is a variant of Milner’s CCS where processes are allowed a controlled form of backtracking. It turns out that the RCCS reinterpretation of a CCS process is equivalent, in t...
138
click to vote
TSP
2008
15 years 4 months ago
2008
Abstract-- Linear transmit beamforming and receive combining is a low complexity approach for communications in the multiuser multiple-input multiple-output (MIMO) channel. This pa...
142
click to vote
KI
2007
Springer
15 years 4 months ago
2007
Springer
We present an approximation method that solves a class of Decentralized hybrid Markov Decision Processes (DEC-HMDPs). These DEC-HMDPs have both discrete and continuous state variab...
122
click to vote
CL
2004
Springer
15 years 4 months ago
2004
Springer
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
133
click to vote
CN
2004
15 years 4 months ago
2004
In this paper, we introduce a new proxy that effectively prevents unnecessary retransmissions of Transmission Control Protocol data segments from flowing over a wireless link on a...