Sciweavers

6740 search results - page 35 / 1348
» An s -Hamiltonian Line Graph Problem
Sort
View
JAPLL
2006
114views more  JAPLL 2006»
13 years 7 months ago
The monadic second-order logic of graphs XV: On a conjecture by D. Seese
A conjecture by D. Seese states that if a set of graphs has a decidable monadic second-order theory, then it is the image of a set of trees under a transformation defined by monad...
Bruno Courcelle
JGAA
2006
85views more  JGAA 2006»
13 years 7 months ago
A Survey of the Algorithmic Properties of Simplicial, Upper Bound and Middle Graphs
Three classes of graphs, simplicial, upper bound, and middle graphs, have been known for some time, but many of their algorithmic properties have not been published. The definitio...
Grant A. Cheston, Tjoen Seng Jap
VISUALIZATION
2005
IEEE
14 years 1 months ago
HOT- Lines: Tracking Lines in Higher Order Tensor Fields
Tensors occur in many areas of science and engineering. Especially, they are used to describe charge, mass and energy transport (i.e. electrical conductivity tensor, diffusion ten...
Mario Hlawitschka, Gerik Scheuermann
FASE
2012
Springer
12 years 3 months ago
Integration Testing of Software Product Lines Using Compositional Symbolic Execution
Software product lines are families of products defined by feature commonality and variability, with a well-managed asset base. Recent work in testing of software product lines ha...
Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer
JCO
2000
59views more  JCO 2000»
13 years 7 months ago
Facets of an Assignment Problem with 0-1 Side Constraint
We show that the problem of finding a perfect matching satisfying a single equality constraint with a 0
Abdo Y. Alfakih, Tongnyoul Yi, Katta G. Murty