3385 search results - page 466 / 677 » Language, Logic, and the Brain |
183
click to vote
PODS
1998
ACM
15 years 10 months ago
1998
ACM
We study the complexity of the problem of answering queries using materialized views. This problem has attracted a lot of attention recently because of its relevance in data integ...
152
click to vote
ECOOP
1998
Springer
15 years 10 months ago
1998
Springer
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
182
click to vote
TYPES
1998
Springer
15 years 10 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
153
click to vote
ICDT
1997
ACM
15 years 10 months ago
1997
ACM
The paper introduces a model of the Web as an in nite, semistructured set of objects. We reconsider the classical notions of genericity and computability of queries in this new con...
161
click to vote
MA
1997
Springer
15 years 10 months ago
1997
Springer
: We describe a platform for the portable and secure execution of mobile agents written in various interpreted languages on top of a common run-time core. Agents may migrate at any...