2742 search results - page 354 / 549 » Deriving Category Theory from Type Theory |
ICML
2008
IEEE
14 years 10 months ago
2008
IEEE
This paper is concerned with the generalization ability of learning to rank algorithms for information retrieval (IR). We point out that the key for addressing the learning proble...
DCC
2007
IEEE
14 years 8 months ago
2007
IEEE
We consider a first-order Markov source, which is predictively encoded using a DPCM-style encoder. The quantized compressed prediction residual is transmitted over an erasure chan...
CVPR
2009
IEEE
14 years 4 months ago
2009
IEEE
Maximum likelihood (ML) estimation is widely used in many computer vision problems involving the estimation of geometric parameters, from conic fitting to bundle adjustment for s...
ISW
2009
Springer
14 years 3 months ago
2009
Springer
A nonce is a cryptographic input value which must never repeat within a given context. Nonces are important for the security of many cryptographic building blocks, such as stream c...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— In an OFDM system, channel estimation can be considered as sampling the time-frequency response of the channel through a number of known pilot symbols placed across the time-fr...