553 search results - page 61 / 111 » Cover Contact Graphs |
103
Voted
CSL
2008
Springer
15 years 5 days ago
2008
Springer
Abstract. The notion of graph polynomials definable in Monadic Second Order Logic, MSOL, was introduced in [Mak04]. It was shown that the Tutte polynomial and its generalization, a...
HAPTICS
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper, we propose a new haptic interface based on measurement of two-dimensional patterns of myoelectric potentials on a surface of a forearm. A myoelectric signal is an e...
BMCBI
2005
14 years 10 months ago
2005
Background: Estimators of free energies are routinely used to judge the quality of protein structural models. As these estimators still present inaccuracies, they are frequently e...
AMAI
2005
Springer
14 years 10 months ago
2005
Springer
A CNF formula is called matched if its associated bipartite graph (whose vertices are clauses and variables) has a matching that covers all clauses. Matched CNF formulas are satisf...
ESA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In this paper, we show that algorithms on tree decompositions can be made faster with the use of generalisations of fast subset convolution. Amongst others, this gives al...