8030 search results - page 404 / 1606 » User Interfaces |
163
click to vote
IAJIT
2010
15 years 4 months ago
2010
: The growth of technological innovations, internet developments, and their (web) applications has raised a definite issue on retaining the web interface quite understandable. More...
126
click to vote
HUC
2009
Springer
15 years 11 months ago
2009
Springer
We describe a technique to detect the presence of computer users. This technique relies on sonar using hardware that already exists on commodity laptop computers and other electro...
166
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
The Annotation Graph Toolkit is a collection of software supporting the development of annotation tools based on the annotation graph model. The toolkit includes application progr...
185
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
163
click to vote
AVI
2004
15 years 7 months ago
2004
In this paper, we present the first results of a research aiming at developing an intelligent agent able to interact with users in public spaces through a touch screen or a person...