Sciweavers

5451 search results - page 865 / 1091
» Typed Operational Semantics
Sort
View
AAAI
2006
15 years 5 months ago
Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic
We consider the problem of rewriting a query efficiently using materialized views. In the context of information integration, this problem has received significant attention in th...
Yolifé Arvelo, Blai Bonet, Maria-Esther Vid...
DLT
2004
15 years 5 months ago
Relating Tree Series Transducers and Weighted Tree Automata
Bottom-up tree series transducers (tst) over the semiring A are implemented with the help of bottom-up weighted tree automata (wta) over an extension of A. Therefore bottom-up D-w...
Andreas Maletti
COOTS
2001
15 years 5 months ago
Kava - Using Byte code Rewriting to add Behavioural Reflection to Java
Many authors have proposed using byte code rewriting as a way of adapting or extending the behaviour of Java There are toolkits available that simplify this process and raise the ...
Ian Welch, Robert J. Stroud
IIWAS
2004
15 years 5 months ago
On Updating Inheritance Relationship in XML Documents
It is a fact that many XML query languages lack support for update operations. Those that have minimal support do not concern with preserving documents' constraints, and cons...
Eric Pardede, J. Wenny Rahayu, David Taniar
UAI
2001
15 years 5 months ago
Aggregating Learned Probabilistic Beliefs
We consider the task of aggregating beliefs of several experts. We assume that these beliefs are represented as probability distributions. We argue that the evaluation of any aggr...
Pedrito Maynard-Reid II, Urszula Chajewska