8624 search results - page 59 / 1725 » Designing example-critiquing interaction |
PADL
2011
Springer
12 years 10 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
CHI
2011
ACM
12 years 11 months ago
2011
ACM
We investigated ways that users could interact with Phicons in non-visual tabletop tangible user interfaces (TUIs). We carried out a brainstorming and rapid prototyping session wi...
CORR
1999
Springer
13 years 7 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...
JIIS
1998
13 years 7 months ago
1998
The explosive growth in the availability of information is overwhelming traditional information management systems. Although individual pieces of information have become easy to ...