1037 search results - page 28 / 208 » A Guided Interface for Web Interaction |
DSVIS
2003
Springer
14 years 1 months ago
2003
Springer
The commercial use of the Internet for service provision has deeply changed the environment where human-computer interaction takes place. Web interfaces are now integrated in overa...
CHI
1995
ACM
13 years 11 months ago
1995
ACM
The relations among graphical representations, computer functionality, and everyday objects are more complex than terms like “the desktop metaphor” may suggest. While metaphor...
WEBNET
1998
13 years 9 months ago
1998
: Perusal of textual displays of document surrogates produced by Web-based ranked-output retrieval services may require much user time, effort, and money. In this paper we present ...
BMCBI
2010
13 years 8 months ago
2010
Background: The analysis of high-throughput screening data sets is an expanding field in bioinformatics. Highthroughput screens by RNAi generate large primary data sets which need...
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...