Sciweavers

6320 search results - page 97 / 1264
» Towards Situated Computing
Sort
View
ACSE
1998
ACM
15 years 9 months ago
Multi-campus teaching using computer networks
This paper describes a joint project between Massey and Waikato Universities to investigate the potential of ATM in providing telepresence in distance education situations. In 199...
Murray Pearson, Chris R. Jesshope
ICALT
2007
IEEE
15 years 11 months ago
Designing Innovative Learning Activities Using Ubiquitous Computing
In this paper we present our pedagogical and technological approach for supporting the design of novel situated learning activities that can be conducted both, outside the school ...
Arianit Kurti, Marcelo Milrad, Daniel Spikol
ISWC
2002
IEEE
15 years 9 months ago
A Wearable Computer for Support of Astronaut Extravehicular Activity
A wearable situational awareness terminal (WearSAT) that provides text, graphics, and video to an astronaut via a near-eye display, and acts as a client on a wireless network, has...
Christopher E. Carr, Steven J. Schwartz, Ilia Rose...
IJCAI
2001
15 years 6 months ago
Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas
A technique is proposed for computing the weakest sufficient (wsc) and strongest necessary (snc) conditions for formulas in an expressive fragment of first-order logic using quant...
Patrick Doherty, Witold Lukaszewicz, Andrzej Szala...
COLING
1996
15 years 6 months ago
A Unified Theory of Irony and Its Computational Formalization
This paper presents a unified theory of verbal irony tbr developing a computational model of irony. The theory claims that an ironic utterance implicitly communicates the fact tha...
Akira Utsumi