1757 search results - page 36 / 352 » Alternating Refinement Relations |
117
Voted
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
109
click to vote
ICIP
2003
IEEE
16 years 2 months ago
2003
IEEE
Robust registration of two 3-D point sets is a common problem in computer vision. The Iterative Closest Point (ICP) algorithm is undoubtedly the most popular algorithm for solving...
SIAMSC
2010
14 years 11 months ago
2010
This work presents a mesh refinement indicator based on entropy variables, with an application to the compressible Navier-Stokes equations. The entropy variables are shown to sati...
90
Voted
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
Motion estimation (ME) methods based on differential techniques provide useful information for video analysis, and moreover it is relatively easy to embed into them regularity con...
117
click to vote
INFORMATICALT
2010
14 years 9 months ago
2010
The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several ...