Skip to main content

Research Repository

Advanced Search

All Outputs (4)

Broadcasting On-Line Social Interaction as Inhabited Television (1999)
Conference Proceeding
Benford, S., Greenhalgh, C., Craven, M., Walker, G., Regan, T., Morphett, J., …Bowers, J. (1999). Broadcasting On-Line Social Interaction as Inhabited Television. In S. Bødker, M. Kyng, & K. Schmidt (Eds.), ECSCW ’99: Proceedings of the Sixth European Conference on Computer Supported Cooperative Work 12–16 September 1999, Copenhagen, Denmark (179-198). https://doi.org/10.1007/978-94-011-4441-4_10

Inhabited TV combines collaborative virtual environments (CVEs) with broadcast TV so that on-line audiences can participate in TV shows within shared virtual worlds. Three early experiments with inhabited TV raised fundamental questions concerning th... Read More about Broadcasting On-Line Social Interaction as Inhabited Television.

Patterns of network and user activity in an inhabited television event (1999)
Conference Proceeding
Greenhalgh, C., Benford, S., & Craven, M. (1999). Patterns of network and user activity in an inhabited television event. In VRST '99: Proceedings of the ACM symposium on Virtual reality software and technology. https://doi.org/10.1145/323663.323668

Inhabited Television takes traditional broadcast television and combines it with multiuser virtual reality, to give new possibilities for interaction and participation in and around shows or channels. 'Out Of This World' was an experimental inhabited... Read More about Patterns of network and user activity in an inhabited television event.

Using a Generalisation Critic to find Bisimulations for Coinductive Proofs (1999)
Conference Proceeding
Dennis, L. A., Bundy, A., & Green, I. (1999). Using a Generalisation Critic to find Bisimulations for Coinductive Proofs. In W. McCune (Ed.),

Coinduction is a method of growing importance in reasoning about functional languages, due to the increasing prominence of lazy data structures. Through the use of bisimulations and proofs that bisimilarity is a congruence in various domains it can... Read More about Using a Generalisation Critic to find Bisimulations for Coinductive Proofs.