Sciweavers

446 search results - page 72 / 90
» A Context Query Language for Pervasive Computing Environment...
Sort
View
COORDINATION
2009
Springer
16 years 3 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
NGC
2002
Springer
15 years 2 months ago
Supporting Cross-Cultural Communication with a Large-Screen System
Abstract As opportunities for international collaboration and crosscultural communication among people from heterogeneous cultures increase, the importance of electronic communicat...
Masayuki Okamoto, Katherine Isbister, Hideyuki Nak...
ECIR
2003
Springer
15 years 4 months ago
Corpus-Based Thesaurus Construction for Image Retrieval in Specialist Domains
This paper explores the use of texts that are related to an image collection, also known as collateral texts, for building thesauri in specialist domains to aid in image retrieval....
Khurshid Ahmad, Mariam Tariq, Bogdan Vrusias, Chri...
FLAIRS
2011
14 years 6 months ago
Impact of Word Sense Disambiguation on Ordering Dictionary Definitions in Vocabulary Learning Tutors
Past research has shown that dictionaries and glosses can be beneficial in computer assisted language learning, particularly in vocabulary learning. We propose that L2 vocabulary ...
Kevin Dela Rosa, Maxine Eskenazi
DSVIS
2006
Springer
15 years 5 months ago
Visual Design of User Interfaces by (De)composition
Most existing graphical user interfaces are usually designed for a fixed context of use, thus making them rather difficult to modify for other contexts of use, such as for other us...
Sophie Lepreux, Jean Vanderdonckt, Benjamin Michot...