11214 search results - page 1956 / 2243 » Just-in-time data structures |
212
click to vote
PKDD
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
159
click to vote
RTA
2005
Springer
16 years 6 days 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 ...
168
click to vote
SAT
2005
Springer
16 years 6 days 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...
173
click to vote
SCIA
2005
Springer
16 years 6 days 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...
179
click to vote
SLSFS
2005
Springer
16 years 6 days 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...