29908 search results - page 545 / 5982 » On the Complexity of |
174
click to vote
TARK
2005
Springer
16 years 20 days ago
2005
Springer
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...
181
click to vote
VLDB
2005
ACM
16 years 20 days ago
2005
ACM
This paper introduces a novel type of query, what we name Spatio-temporal Pattern Queries (STP). Such a query specifies a spatiotemporal pattern as a sequence of distinct spatial...
166
click to vote
VLDB
2005
ACM
16 years 20 days ago
2005
ACM
We demonstrate WISE-Integrator – an automatic search interface extraction and integration tool. The basic research issues behind this tool will also be explained.