234 search results - page 38 / 47 » Deduction, Strategies, and Rewriting |
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
We address the alignment of a group of images with simultaneous
registration. Therefore, we provide further insights
into a recently introduced class of multivariate similarity
...
IJCAI
1989
13 years 8 months ago
1989
Intelligent reasoners sometimes draw conclusions that lack new or relevant information. Similarly, automated reasoning systems can produce formulas that are not necessary for the ...
VLDB
1993
ACM
13 years 11 months ago
1993
ACM
III this paper we address the problem of controlling the execution of a query optimizer. We describe a control for the optimization process that is based on planning. The controll...
ALP
1990
Springer
13 years 11 months ago
1990
Springer
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
VLDB
1995
ACM
13 years 11 months ago
1995
ACM
We address the problem of finding parallel plans for SQL queries using the two-phase approach of join ordering and query rewrite (JOQR) followed by parallelization. We focus on t...