10792 search results - page 180 / 2159 » An Evaluation of Non-Equijoin Algorithms |
161
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
We present a system, ESOLID, that performs exact boundary evaluation of low-degree curved solids in reasonable amounts of time. ESOLID performs accurate Boolean operations using e...
153
click to vote
CHARME
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
199
click to vote
KDD
1998
ACM
15 years 10 months ago
1998
ACM
This paper presents an algorithm for discovering conjunction rules with high reliability from data sets. The discovery of conjunction rules, each of which is a restricted form of ...
167
click to vote
DAS
2006
Springer
15 years 10 months ago
2006
Springer
Text detection and tracking is an important step in a video content analysis system as it brings important semantic clues which is a vital supplemental source of index information....
168
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
This paper introduces a new benchmark study of evaluating landmark-based shape correspondence used for statistical shape analysis. Different from previous shape-correspondence eval...