2612 search results - page 119 / 523 » Mobile Processes and Termination |
141
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
115
click to vote
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
In this paper, we describe rate control and motion estimation in x264, an open source H.264/AVC encoder. We compare the rate control methods of x264 with the JM reference encoder ...
113
click to vote
MMB
2010
Springer
15 years 6 months ago
2010
Springer
We consider a finite buffer system where the buffer content moves in a Markov-additive way while it is strictly between the buffer boundaries. Upon reaching the upper boundary of t...
126
click to vote
EACL
2003
ACL Anthology
15 years 5 months ago
2003
ACL Anthology
The Constraint Language for Lambda Structures (CLLS) is an expressive tree description language. It provides a uniform framework for underspecified semantics, covering scope, ell...
147
click to vote
ICASSP
2011
IEEE
2011
IEEE
Joint estimation of channel and carrier frequency offset from the emitter, in an uplink OFDMA system
14 years 8 months ago
In this paper, we propose a joint estimation method of carrier frequency offsets (CFO) and channel impulse responses (CIR) for an uplink OFDMA system. We consider the CFOs come in...