2271 search results - page 439 / 455 » Research Methods for Human-Computer Interaction |
PLDI
1997
ACM
14 years 20 days ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
VISUALIZATION
1995
IEEE
14 years 11 hour ago
1995
IEEE
In the research described here, we have constructed at tightly coupled set of methods for monitoring, steering, and applying visual analysis to large scale simulations. This work ...
BMCBI
2010
13 years 8 months ago
2010
Background: Semantic similarity scores for protein pairs are widely applied in functional genomic researches for finding functional clusters of proteins, predicting protein functi...
BMCBI
2010
13 years 8 months ago
2010
Background: Standardization of analytical approaches and reporting methods via community-wide collaboration can work synergistically with web-tool development to result in rapid c...
SIGMETRICS
2002
ACM
13 years 8 months ago
2002
ACM
Scheduling in large-scale parallel systems has been and continues to be an important and challenging research problem. Several key factors, including the increasing use of off-the...