3104 search results - page 460 / 621 » Using quantitative analysis to implement autonomic IT system... |
134
click to vote
MM
2006
ACM
15 years 10 months ago
2006
ACM
In this work we present the details of the implementation of Fotofiti(FF), a website that provides automatic semantic annotation of digital photographs, event management and soci...
159
click to vote
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...
126
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct c...
199
click to vote
Publication
For quantitative analysis of histopathological images,
such as the lymphoma grading systems, quantification of
features is usually carried out on single cells before categorizing...
156
click to vote
HIPC
2009
Springer
15 years 2 months ago
2009
Springer
Traditional performance analysis techniques are performed after a parallel program has completed. In this paper, we describe an online method for continuously monitoring the perfor...