4485 search results - page 192 / 897 » Equivalences on Observable Processes |
122
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper addresses the optimization of upper and lower bounds on the capacity of the multiple-input multiple-output (MIMO) relay channel. In particular, we show that evaluating ...
256
Voted
ISMM
2011
Springer
14 years 6 months ago
2011
Springer
We study hierarchical segmentations that are optimal in the sense of minimal spanning forests of the original image. We introduce a region-merging operation called uprooting, and w...
120
click to vote
ENTCS
2002
15 years 3 months ago
2002
The Ambient Calculus offers many ways in which processes can interact and be observed. In the context of Levi and Sangiorgi's Safe Mobile Ambients (SA), the extra co-capabili...
130
click to vote
CHI
2008
ACM
16 years 3 months ago
2008
ACM
A number of recent scams and security attacks (phishing, spyware, fake terminals, ...) hinge on a crook's ability to observe user behavior. In this paper, we describe the des...
112
Voted
ALGORITHMS
2010
15 years 27 days ago
2010
Increasingly encompassing models have been suggested for our world. Theories range from generally accepted to increasingly speculative to apparently bogus. The progression of theo...