The directed graph representation of the World Wide Web has been extensively used to analyze the Web structure, behavior and evolution. However, those graphs are huge and do not ï...
: User-defined data types such as intervals require specialized access methods to be efficiently searched and queried. As database implementors cannot provide appropriate index str...
Christoph Brochhaus, Jost Enderle, Achim Schlosser...
There has been a lot of recent work on Bayesian methods for reinforcement learning exhibiting near-optimal online performance. The main obstacle facing such methods is that in most...
Concerning the set of rooted binary trees, one shows that Higmanâs Lemma and Dershowitzâs recursive path ordering can be used for the decision of its maximal order type accordi...
We investigate algorithmic properties of inïŹnite transition graphs that are generated by rewriting systems over unranked trees. Two kinds of such rewriting systems are studied. ...