914 search results - page 170 / 183 » Analysis of Heuristic Synergies |
113
click to vote
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
User-session-based testing of web applications gathers user sessions to create and continually update test suites based on real user input in the field. To support this approach ...
104
click to vote
RTSS
2005
IEEE
15 years 5 months ago
2005
IEEE
Resource reservation has been recently supported by many real-time operating systems to provide applications with guaranteed and timely access to system resources. Typically, rese...
TPHOL
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
SIGMETRICS
2005
ACM
15 years 5 months ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...
112
click to vote
CLEF
2005
Springer
15 years 5 months ago
2005
Springer
We present four approaches to the Amharic - French bilingual track at CLEF 2005. All experiments use a dictionary based approach to translate the Amharic queries into French Bags-...