Sciweavers

1722 search results - page 190 / 345
» Variables in Concept Graphs
Sort
View
CDC
2009
IEEE
135views Control Systems» more  CDC 2009»
15 years 8 months ago
Stiffness matrix and quantitative measure of formation rigidity
— Rigidity of formation is an importance concept in multi-agent localization and control problems. There are welldeveloped existing methods to test the rigidity of a given graph....
Guangwei Zhu, Jianghai Hu
CORR
2010
Springer
106views Education» more  CORR 2010»
15 years 3 months ago
Symmetry within Solutions
We define the concept of an internal symmetry. This is a symmety within a solution of a constraint satisfaction problem. We compare this to solution symmetry, which is a mapping b...
Marijn Heule, Toby Walsh
123
Voted
DM
2010
115views more  DM 2010»
15 years 3 months ago
Edge colouring by total labellings
We introduce the concept of an edge-colouring total k-labelling. This is a labelling of the vertices and the edges of a graph G with labels 1, 2, . . . , k such that the weights o...
Stephan Brandt, Kristína Budajová, D...
DAM
2008
103views more  DAM 2008»
15 years 3 months ago
Crown reductions for the Minimum Weighted Vertex Cover problem
The paper studies crown reductions for the Minimum Weighted Vertex Cover problem introduced recently in the unweighted case by Fellows et al. [Blow-Ups, Win/Win's and crown r...
Miroslav Chlebík, Janka Chlebíkov&aa...
ECEASST
2008
95views more  ECEASST 2008»
15 years 3 months ago
A Static Layout Algorithm for DiaMeta
Abstract: The diagram editor generator framework DIAMETA utilizes meta-modelbased language specifications and supports free-hand as well as structured editing. In this paper we pre...
Sonja Maier, Mark Minas