Sciweavers

1321 search results - page 95 / 265
» Quadratic forms on graphs
Sort
View
WG
2009
Springer
15 years 4 months ago
Exact and Parameterized Algorithms for Max Internal Spanning Tree
We consider the NP-hard problem of finding a spanning tree with a maximum number of internal vertices. This problem is a generalization of the famous Hamiltonian Path problem. Our...
Henning Fernau, Serge Gaspers, Daniel Raible
ASYNC
1997
IEEE
95views Hardware» more  ASYNC 1997»
15 years 2 months ago
Partial order based approach to synthesis of speed-independent circuits
This paper introduces a novel technique for synthesis of speed-independent circuits from their Signal Transition Graph specifications. The new method uses partial order in the fo...
Alexei L. Semenov, Alexandre Yakovlev, Enric Pasto...
HCI
2007
14 years 11 months ago
Coupling Interaction Resources and Technical Support
Coupling is the action of binding two entities so that they can operate together to provide new functions. In this article, we propose a formal definition for coupling and present ...
Nicolas Barralon, Joëlle Coutaz, Christophe L...
NIPS
2008
14 years 11 months ago
Skill Characterization Based on Betweenness
We present a characterization of a useful class of skills based on a graphical representation of an agent's interaction with its environment. Our characterization uses betwee...
Özgür Simsek, Andrew G. Barto
JCT
2006
168views more  JCT 2006»
14 years 9 months ago
Mono-multi bipartite Ramsey numbers, designs, and matrices
Eroh and Oellermann defined BRR(G1, G2) as the smallest N such that any edge coloring of the complete bipartite graph KN,N contains either a monochromatic G1 or a multicolored G2....
Paul N. Balister, András Gyárf&aacut...