2332 search results - page 75 / 467 » AIS and Semantic Query |
132
Voted
COSIT
2001
Springer
15 years 10 months ago
2001
Springer
117
Voted
DEXA
1999
Springer
15 years 9 months ago
1999
Springer
123
Voted
ERCIMDL
1998
Springer
15 years 9 months ago
1998
Springer
134
click to vote
VLDB
1998
ACM
15 years 9 months ago
1998
ACM
The goal of the COKO-KOLA project [10, 91 is to express rules of rule-basedoptimizers in a mannerpermitting verification with a theoremprover. In [IO], we consideredquerytransform...