1284 search results - page 233 / 257 » On Helping and Interactive Proof Systems |
BMCBI
2008
13 years 8 months ago
2008
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
IWPSE
2005
IEEE
14 years 2 months ago
2005
IEEE
Visualizing software evolution is essential for identifying design erosions that have occurred over the past releases. Making evolutionary aspects explicit via visual representati...
CHI
1993
ACM
14 years 24 days ago
1993
ACM
An evaluation of earcons was carried out to see whether they are an effective means of communicating information in sound. An initial experiment showed that earcons were better th...
TREC
2004
13 years 10 months ago
2004
The text-mining system we are building deals with the specific problem of identifying the instances of relevant concepts present in the texts. Therefore, our system relies on inte...
AVI
1998
13 years 10 months ago
1998
We introduce a system that helps users construct interactive visualizations with constant information density. This work is an extension of the DataSplash database visualization e...