1616 search results - page 156 / 324 » A Framework for Hybrid Planning |
180
click to vote
SIGMOD
2001
ACM
16 years 6 months ago
2001
ACM
We study the problem of generating e cient, equivalent rewritings using views to compute the answer to a query. We take the closed-world assumption, in which views are materialize...
181
click to vote
JAR
1998
15 years 6 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
194
click to vote
MM
2010
ACM
15 years 5 months ago
2010
ACM
Travel route planning is an important step for a tourist to prepare his/her trip. As a common scenario, a tourist usually asks the following questions when he/she is planning his/...
192
click to vote
JIKM
2008
15 years 6 months ago
2008
Businesses today, including non-profits, recognise the need for knowledge management (KM). KM may require new strategies and goals before it can be implemented, or it can be aligne...
172
click to vote
WAIM
2010
Springer
15 years 4 months ago
2010
Springer
Materialized views which are derived from base relations and stored in the database are often used to speed up query processing. In this paper, we leverage them in a traceable peer...