968 search results - page 81 / 194 » A faster implementation of APlace |
115
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
136
click to vote
IJON
2006
15 years 4 months ago
2006
The goal of the visual correspondence problem is to establish a connectivity pattern (a mapping) between two images such that features projected from the same scene point are conn...
151
click to vote
JVCA
2008
15 years 4 months ago
2008
We present an efficient multigrid algorithm that is adequate to solve a heavy linear system given in cloth simulation. Although multigrid has been successfully applied to the Pois...
123
click to vote
IAJIT
2007
15 years 4 months ago
2007
We present a scalable distributed database system called SD-SQL Server. Its original feature is the dynamic and transparent repartitioning of growing tables, avoiding the cumbersom...
138
click to vote
CG
2005
Springer
15 years 4 months ago
2005
Springer
Hyper-Resolution, a new technique for super-resolution reconstruction of images, is based on matching lowresolution target image details to their high-resolution counterparts from...