668 search results - page 64 / 134 » Implementing and Evaluating Automatic Checkpointing |
100
click to vote
MIE
2008
15 years 4 months ago
2008
Objective: The neighbors of a document are those documents in a corpus that are most similar to it. The objective of this paper is to develop and evaluate the related resources alg...
122
Voted
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
A new criterion based on Gaussian fields is introduced and applied to the task of automatic rigid registration of point-sets. The method defines a simple energy function, which is...
124
Voted
CADE
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
124
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
125
Voted
HAPTICS
2009
IEEE
15 years 9 months ago
2009
IEEE
Actuated car doors are a promising way to increase the convenience of access to cars. In this paper, an advanced door concept which can easily be integrated into conventional car ...