2612 search results - page 119 / 523 » Mobile Processes and Termination |
CORR
2010
Springer
13 years 9 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,...
ICIP
2007
IEEE
14 years 11 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 ...
MMB
2010
Springer
13 years 11 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...
EACL
2003
ACL Anthology
13 years 10 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...
ICASSP
2011
IEEE
2011
IEEE
Joint estimation of channel and carrier frequency offset from the emitter, in an uplink OFDMA system
13 years 27 days 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...