220 search results - page 37 / 44 » Using Difference Reduction for Generic Proof Search |
183
click to vote
EMMCVPR
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. We present an algorithm for automatically constructing a decompositional shape model from examples. Unlike current approaches to structural model acquisition, in which on...
188
Voted
GW
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. In the last decade speech processing has been applied in commercially available products. One of the key reasons for its success is the identification and use of an unde...
212
Voted
EDBT
1998
ACM
15 years 11 months ago
1998
ACM
Efficient evaluation of similarity queries is one of the basic requirements for advanced multimedia applications. In this paper, we consider the relevant case where complex similar...
181
click to vote
COMPSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
While meta-heuristics are effective for solving large-scale combinatorial optimization problems, they result from time-consuming trial-and-error algorithm design tailored to speci...
210
Voted
IS
2007
15 years 7 months ago
2007
Current schema matching approaches still have to improve for large and complex Schemas. The large search space increases the likelihood for false matches as well as execution time...