2218 search results - page 140 / 444 » Testing Expressibility Is Hard |
GLOBECOM
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—In this paper, we consider the Bayesian CramerRao bound (BCRB) for the dynamical estimation of multi-path Rayleigh channel complex gains in data-aided (DA) and non-dataa...
KCAP
2009
ACM
14 years 3 months ago
2009
ACM
Many information sources use multiple modalities, such as textbooks, which contain both text and diagrams. Each captures information that is hard to express in the other, and evid...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
We consider probabilistic methods to compute the near midair collision risk using state estimate and covariance from a target tracking filter based on angle-only sensors such as ...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— We study the multiple antenna half-duplex relay channel from the diversity-multiplexing tradeoff (DMT) perspective. We find performance upper bounds and show that compress-and...
ICLP
2007
Springer
14 years 3 months ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...