Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
We present some sufficient conditions ensuring the upper semicontinuity and the continuity of the Bregman projection operator Π g C and the relative projection operator P g C in...
Established researchers and practitioners active in the development and deployment of media spaces review what seemed to be promised twenty years ago, what has actually been achie...
Ronald Baecker, Steve R. Harrison, William Buxton,...
This paper introduces GSSS (Genetic State-Space Search). The integration of two general search paradigms — genetic search and state-space-search provides a general framework whi...
— A mobile satellite broadcasting service including an ancillary terrestrial component (ATC) takes advantage of the satellite’s inherent capability to provide broadcast service...