668 search results - page 68 / 134 » Implementing and Evaluating Automatic Checkpointing |
ICMCS
2000
IEEE
15 years 2 months ago
2000
IEEE
In this paper, a non-linear relevance feedback mechanism is proposed for increasing the performance and the reliability of content-based retrieval systems. In particular, the huma...
CIKM
1999
Springer
15 years 2 months ago
1999
Springer
In this paper we compare performance of several heuristics in generating informative generic/query-oriented extracts for newspaper articles in order to learn how topic prominence ...
IDEAS
1997
IEEE
15 years 2 months ago
1997
IEEE
The ROL system is a novel deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform rule-based declarative language fo...
EATIS
2007
ACM
15 years 1 months ago
2007
ACM
In the current paper we present a field comparison of techniques for selecting one's current location in mobile locationbased systems. Four location selection techniques are ...
CAV
2006
Springer
15 years 1 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...