22909 search results - page 1 / 4582 » A System of Interaction and Structure |
HCI
2009
13 years 2 months ago
2009
ICCS
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The high level of abstraction necessary to teach data structures and algorithmic schemes has been more than a hindrance to students. In order to make a proper approach to...
CHI
1995
ACM
13 years 8 months ago
1995
ACM
This paper presents a scheme for extending an informal, pen-based whiteboard system (Tivoli on the Xerox LiveBoard) to provide a structured editing capability without violating it...
IFIP
1992
Springer
13 years 8 months ago
1992
Springer
We provide a structured classification of properties to guide the principled design of interactive systems. This classification is motivated by an existing software quality framew...
CORR
1999
Springer
13 years 4 months ago
1999
Springer
This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...