2430 search results - page 393 / 486 » Computing Tutte Polynomials |
139
Voted
VALUETOOLS
2006
ACM
15 years 9 months ago
2006
ACM
We present a new approximation method called value extrapolation for Markov processes with large or infinite state spaces. The method can be applied for calculating any performan...
159
Voted
QSHINE
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— Throughput is an important performance consideration for multihop wireless networks. In this paper, we study the joint link scheduling and power control problem, focusi...
119
Voted
APN
2005
Springer
15 years 8 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
127
click to vote
CSL
2005
Springer
15 years 8 months ago
2005
Springer
We show that Csanky’s fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LA...
140
click to vote
ESA
2005
Springer
15 years 8 months ago
2005
Springer
We study the problem of adding edges to an arbitrary graph so that the resulting graph is an interval graph. Our objective is to add an inclusion minimal set of edges, which means ...