6978 search results - page 1306 / 1396 » On Proofs in System P |
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—Symbol synchronization in traditional hardwaredriven communication systems has relied on the transmission of training sequences of symbols just before the beginning of t...
CCS
2007
ACM
14 years 3 months ago
2007
ACM
Several credential systems have been proposed in which users can authenticate to services anonymously. Since anonymity can give users the license to misbehave, some variants allow...
CONCUR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
VTC
2006
IEEE
14 years 3 months ago
2006
IEEE
— In this paper we investigate the issues of both initial and post-initial acquisition schemes in the multiple transmit/receive antenna aided DS-CDMA downlink, when communicating...
VISUALIZATION
2005
IEEE
14 years 2 months ago
2005
IEEE
Understanding and analyzing complex volumetrically varying data is a difficult problem. Many computational visualization techniques have had only limited success in succinctly po...