8624 search results - page 366 / 1725 » Designing Eyes-Free Interaction |
205
click to vote
ITICSE
1996
ACM
15 years 11 months ago
1996
ACM
The operation of a computer can be conceptualised as a large, discrete and constantly changing set of state information. However even for the simplest uni-processor the data set o...
176
click to vote
CADE
1994
Springer
15 years 11 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
174
click to vote
SIGCSE
1994
ACM
15 years 11 months ago
1994
ACM
This paper describes instructional tools, LLparse and LRparse, for visualizing and interacting with small examples of LL and LR parsing. These tools can be used to understand the ...
170
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
We investigate the problem of refining SQL queries to satisfy cardinality constraints on the query result. This has applications to the many/few answers problems often faced by da...
196
click to vote
ICMB
2007
IEEE
15 years 10 months ago
2007
IEEE
Whilst Augmented Reality (AR) has been a prevalent research topic it has proved difficulty to implement and apply in commercial situations as it generally requires complex and exp...