1413 search results - page 14 / 283 » Bisimilarity of Open Terms |
TABLETOP
2007
IEEE
14 years 4 months ago
2007
IEEE
Multi-touch tabletops have been the focus of significant recent study but, to date, few devices have moved from prototype to installed use. In this paper, we present observation a...
ITCC
2002
IEEE
14 years 2 months ago
2002
IEEE
The emergence of the world-wide-web has led to an increased interest in methods for searching for information. A key characteristic of many of the online document collections is t...
ICRA
1999
IEEE
14 years 2 months ago
1999
IEEE
Human-robot interaction has been identified as one of the major open research directions in mobile robotics. This paper considers a specific type of interaction: short-term and sp...
ITICSE
1997
ACM
14 years 1 months ago
1997
ACM
This paper describes the development and use of practical examinations which include a significant element of software control of the administrative process. The educational metho...
AIEDU
2007
13 years 10 months ago
2007
Opening a model of the learner is a potentially complex operation. There are many aspects of the learner that can be modelled, and many of these aspects may need to be opened in di...