443 search results - page 30 / 89 » Partial Probability: Theory and Applications |
TPHOL
2002
IEEE
15 years 4 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
ICASSP
2008
IEEE
15 years 5 months ago
2008
IEEE
Collaborative beamforming has been recently introduced in the context of wireless sensor networks (WSNs) to increase the transmission range of individual sensor nodes. In this pap...
FAC
2007
14 years 11 months ago
2007
Abstract. We develop a model of Parametric Probabilistic Transition Systems, where probabilities associated with transitions may be parameters. We show how to find instances of th...
CIMAGING
2008
15 years 16 days ago
2008
We present an algorithm to generate samples from probability distributions on the space of curves. Traditional curve evolution methods use gradient descent to find a local minimum...
117
click to vote
ICC
2011
IEEE
13 years 10 months ago
2011
IEEE
—We consider a general wireless channel model for different types of code-division multiple access (CDMA) and space-division multiple-access (SDMA) systems with isometric random ...