5232 search results - page 390 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
188
click to vote
GLOBECOM
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract— We propose a low-complexity adaptive highresolution channel prediction algorithm for pilot symbol assisted orthogonal frequency division multiplexing (OFDM) systems. Th...
199
click to vote
JVCA
2002
15 years 6 months ago
2002
Behavioural models offer the ability to simulate autonomous agents like organisms and living beings. Psychological studies have showed that the human behaviour can be described by...
181
click to vote
LICS
2003
IEEE
16 years 2 days ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
181
click to vote
RTCSA
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, we propose a protocol synthesis method based on a partial order model (called event structures) for the class of context-free processes. First, we assign a unique n...
183
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...