1012 search results - page 176 / 203 » Identification of System Software Components Using Clusterin... |
127
click to vote
ISSTA
2000
ACM
15 years 6 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
187
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Several tools have been developed to explore and search Gene Ontology (GO) databases allowing efficient GO enrichment analysis and GO tree visualization. Nevertheless,...
134
click to vote
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
Ontology learning is an important task in Artificial Intelligence, Semantic Web and Text Mining. This paper presents a novel framework for, and solutions to, three practical probl...
108
click to vote
UIST
2004
ACM
15 years 7 months ago
2004
ACM
A long standing challenge in pen-based computer interaction is the ability to make sense of informal sketches. A main difficulty lies in reliably extracting and recognizing the i...
145
click to vote
WOSP
2010
ACM
15 years 9 months ago
2010
ACM
In this paper we develop, implement and evaluate an approach to quickly reassign resources for a virtualized utility computing platform. The approach provides this platform agilit...