204
click to vote
MFCS
16 years 1 days ago
2004 Springer 
Abstract. This paper deals with updates of XML documents that satisfy a given schema, e.g., a DTD. In this context, when a given update violates the schema, it might be the case th...
193
click to vote
MFCS
16 years 1 days ago
2004 Springer 
Abstract. Bidimensionality provides a tool for developing subexponential fixed-parameter algorithms for combinatorial optimization problems on graph families that exclude a minor....
186
click to vote
MFCS
16 years 1 days ago
2004 Springer 
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
178
click to vote
MFCS
16 years 1 days ago
2004 Springer
We study the complexity of the inclusion, equivalence, and intersection problem for simple regular expressions arising in practical XML schemas. These basically consist of the conc...
174
click to vote
MFCS
16 years 1 days ago
2004 Springer 
Let G = (V, E) be a (directed) graph with vertex set V and edge (arc) set E. Given a set P of (source-sink) pairs of vertices of G, an important problem that arises in the computat...
|
Theoretical Computer Science