Sciweavers

3268 search results - page 471 / 654
» The hub number of a graph
Sort
View
DEXA
2001
Springer
99views Database» more  DEXA 2001»
15 years 11 months ago
Incorporating Dimensions in XML and DTD
In this paper we investigate various aspects of representing multidimensional information in the frame of the WWW. Multidimensional XML (MXML) is an extension of XML suitable for r...
Manolis Gergatsoulis, Yannis Stavrakas, Dimitris K...
FSTTCS
2001
Springer
15 years 11 months ago
Distributed LTL Model Checking Based on Negative Cycle Detection
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
Lubos Brim, Ivana Cerná, Pavel Krcál...
IDEAS
2000
IEEE
117views Database» more  IDEAS 2000»
15 years 11 months ago
Path Query Reduction and Diffusion for Distributed Semi-Structured Data Retrieval
I n this paper, we address the problem of query processing o n distributed semi-structured data. The distributed semistructured data can be modeled as a rooted and edge-labeled gr...
Jaehyung Lee, Yon Dohn Chung, Myoung-Ho Kim
COCOON
2000
Springer
15 years 10 months ago
Parameterized Complexity of Finding Subgraphs with Hereditary Properties
We consider the parameterized complexity of the following problem under the framework introduced by Downey and Fellows[4]: Given a graph G, an integer parameter k and a non-trivial...
Subhash Khot, Venkatesh Raman
IPPS
1999
IEEE
15 years 10 months ago
The Recursive Grid Layout Scheme for VLSI Layout of Hierarchical Networks
We propose the recursive grid layout scheme for deriving efficient layouts of a variety of hierarchical networks and computing upper bounds on the VLSI area of general hierarchica...
Chi-Hsiang Yeh, Behrooz Parhami, Emmanouel A. Varv...