13987 search results - page 590 / 2798 » The Two Guards Problem |
204
click to vote
ICTAC
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. P systems (known also as membrane systems) are biologically motivated theoretical models of distributed and parallel computing. The two most interesting questions in the ...
202
click to vote
IFIP
2004
Springer
16 years 18 days ago
2004
Springer
In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define tw...
154
click to vote
ISAAC
2004
Springer
16 years 18 days ago
2004
Springer
In the Paired Pointset Traversal problem we ask whether, given two sets A = {a1, . . . , an} and B = {b1, . . . , bn} in the plane, there is an ordering π of the points such that ...
215
click to vote
ISSAC
2004
Springer
16 years 18 days ago
2004
Springer
Simplification has been long recognised to be a fundamental problem within computer algebra[17]. However, even for the class of elementary functions, it has not been resolved in ...
217
click to vote
IWPEC
2004
Springer
16 years 18 days ago
2004
Springer
The problem of packing k edge-disjoint triangles in a graph has been thoroughly studied both in the classical complexity and the approximation fields and it has a wide range of ap...