634 search results - page 3 / 127 » Separability in the Ambient Logic |
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
Flash/noflash pairs have been used for noise-reduction in ambient-light images. But not explicitly studied is the problem of shadows in the ambient images. While shadows are less...
DIS
2001
Springer
14 years 1 months ago
2001
Springer
Electron velocity distribution obtained by direct spacecraft observation in space is contaminated by photoelectrons. The photoelectrons are generated due to the solar ultraviolet r...
FMCO
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixe...
EUSFLAT
2009
13 years 6 months ago
2009
DAGSTUHL
2006
13 years 10 months ago
2006
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. The technical contribution of this...