11991 search results - page 2068 / 2399 » Data Structure Fusion |
233
click to vote
PKDD
2005
Springer
16 years 1 months 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...
174
click to vote
RTA
2005
Springer
16 years 1 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 ...
186
click to vote
SAT
2005
Springer
16 years 1 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...
199
click to vote
SLSFS
2005
Springer
16 years 1 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...
149
click to vote
VLDB
2005
ACM
16 years 29 days 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 ...