1738 search results - page 25 / 348 » Local Consistency and SAT-Solvers |
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
This paper presents a new method to enforce inverse consistency in nonrigid image registration and matching. Conventional approaches assume diffeomorphic transformation, implicitl...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we present an asynchronous consistent global checkpoint collection algorithm which prevents contention for network storage at the file server and hence reduces the...
CP
2003
Springer
14 years 23 days ago
2003
Springer
A binary constraints network consists of a set of n variables, defined on domains of size at most d, and a set of e binary constraints. The binary constraint satisfaction problem ...
PDP
2002
IEEE
14 years 13 days ago
2002
IEEE
In this paper we present an algorithm that can be used to implement sequential, causal, or cache consistency in distributed shared memory (DSM) systems. For this purpose it has a ...
SRDS
2005
IEEE
14 years 1 months ago
2005
IEEE
Recent advances in wireless communication along with Peer-to-peer (P2P) paradigm have led to increasing interest in P2P mobile ad hoc networks. In this paper, we assume an environ...