3381 search results - page 186 / 677 » Extending Dependencies with Conditions |
186
click to vote
ENTCS
2006
15 years 6 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
141
click to vote
JOT
2002
15 years 6 months ago
2002
es are extended with a factorable, abstract state, and methods of interfaces are extended with state transformation behaviours. A new programming language command, the USE statemen...
173
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
Learning the structure of graphical models is an important task, but one of considerable difficulty when latent variables are involved. Because conditional independences using hid...
150
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, we investigate the effects of imperfect knowledge of the channel covariance matrix on the performance of a linear minimum mean-square-error (MMSE) estimator for m...
157
click to vote
VTC
2007
IEEE
16 years 23 days ago
2007
IEEE
— Cooperative diversity obtains the spatial diversity gains created by sharing antennas of terminals in wireless networks. In this paper, adaptive amplify-and-forward (AF) cooper...