11212 search results - page 2129 / 2243 » Semi-persistent Data Structures |
116
click to vote
RTA
2005
Springer
15 years 8 months ago
2005
Springer
Many applications of congruence closure nowadays require the ability of recovering, among the thousands of input equations, the small subset that caused the equivalence of a given ...
120
click to vote
SAT
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
125
click to vote
SCIA
2005
Springer
15 years 8 months ago
2005
Springer
—Color demosaicking is critical to the image quality of digital still and video cameras that use a single-sensor array. Limited by the mosaic sampling pattern of the color filte...
133
click to vote
SLSFS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Matrix factorization is a fundamental building block in many computer vision and machine learning algorithms. In this work we focus on the problem of ”structure from mo...
VLDB
2005
ACM
15 years 8 months ago
2005
ACM
With the advent of chip multiprocessors, exploiting intra-transaction parallelism is an attractive way of improving transaction performance. However, exploiting intra-transaction ...