7978 search results - page 497 / 1596 » Combining shared-coin algorithms |
174
click to vote
WISE
2009
Springer
16 years 1 months ago
2009
Springer
Planning out maintenance tasks to increase the quality of Web applications can be difficult for a manager. First, it is hard to evaluate the precise effect of a task on quality. S...
154
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
171
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a generic features selection method and its applications on some document analysis problems. The method is based on a genetic algorithm (GA), whose tness funct...
166
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
169
click to vote
EUROPAR
2009
Springer
16 years 1 months ago
2009
Springer
Automatic performance tuning (auto-tuning) has been used in parallel numerical applications for adapting performance-relevant parameters. We extend auto-tuning to general-purpose ...