✦ LIBER ✦

Computing with Contexts

✍ Scribed by Ian A. Mason

Book ID: 110285368
Publisher: Springer
Year: 1999
Tongue: English
Weight: 158 KB
Volume: 12
Category: Article
ISSN: 1388-3690
DOI: 10.1023/a:1010052222987

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Computing With Contexts A simple approac

Computing With Contexts A simple approach

✍ David Sands 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 855 KB

This article describes how the use of a higher-order syntax representation of contexts due to A. Pitts] combines smoothly with higher-order syntax for evaluation rules, so that de nitions can be extended to work over contexts. This provides "for free" | without the development o f a n y new language

Changing Places: Contexts of Awareness i

Changing Places: Contexts of Awareness in Computing

✍ Agre, Philip 📂 Article 📅 2001 🏛 Taylor and Francis Group 🌐 English ⚖ 116 KB

DRT with local contexts

✍ Philippe Schlenker 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 379 KB

Smart-Context: A Context Ontology for Pe

Smart-Context: A Context Ontology for Pervasive Mobile Computing

✍ Moore, P.; Hu, B.; Wan, J. 📂 Article 📅 2008 🏛 Oxford University Press 🌐 English ⚖ 639 KB

Context-aware trails [mobile computing]

✍ Clarke, S.; Driver, C. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 267 KB

Computing and optics in context

✍ Hawkes, P. W. 📂 Article 📅 1981 🏛 Nature Publishing Group 🌐 English ⚖ 261 KB