Many real-world problems are characterized by complex relational structure, which can be succinctly represented in firstorder logic. However, many relational inference algorithms ...
In XML search systems twig queries specify predicates on node values and on the structural relationships between nodes, and a key operation is to join individual query node matche...
This paper focuses on competitive function evaluation in the context of computing with priced information. A function f is given together with a cost cx for each variable x of f. ...
: It is well-known that constraint satisfaction problems (CSP) over an unbounded domain can be solved in time nO(k) if the treewidth of the primal graph of the instance is at most ...
— In this paper we discuss the practical stability of a class of time delay systems with an unstable equilibrium. We obtain sufficient conditions based on Lyapunov-Krasovskii fu...
Raul Villafuerte, Sabine Mondie, Alexander S. Pozn...