5 search results - page 1 / 1 » Termination Transformation by Tree Lifting Ordering |
54
Voted
RTA
1998
Springer
15 years 3 months ago
1998
Springer
104
Voted
ISMIS
2000
Springer
15 years 2 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...
68
Voted
DOCENG
2004
ACM
15 years 4 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...
115
Voted
CONCUR
2006
Springer
15 years 26 days 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...
103
Voted
IPPS
2007
IEEE
15 years 5 months 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...