5 search results - page 1 / 1 » Termination Transformation by Tree Lifting Ordering |
RTA
1998
Springer
13 years 10 months ago
1998
Springer
ISMIS
2000
Springer
13 years 9 months ago
2000
Springer
A top-down query processing method for first order deductive databases under the disjunctive well-founded semantics (DWFS) is presented. The method is based upon a characterisation...
DOCENG
2004
ACM
13 years 11 months ago
2004
ACM
We consider the problem of document conversion from the renderingoriented HTML markup into a semantic-oriented XML annotation defined by user-specific DTDs or XML Schema descrip...
CONCUR
2006
Springer
13 years 8 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
IPPS
2007
IEEE
14 years 16 days ago
2007
IEEE
In this paper, we study the problem of an optimal assignment of a tree-structured context reasoning procedure onto the computation resources in a hostsatellites configuration. The...