Sciweavers

1695 search results - page 47 / 339
» Linear, Polynomial or Exponential
Sort
View
CORR
2008
Springer
159views Education» more  CORR 2008»
15 years 25 days ago
Stochastic Limit-Average Games are in EXPTIME
The value of a finite-state two-player zero-sum stochastic game with limit-average payoff can be approximated to within in time exponential in a polynomial in the size of the gam...
Krishnendu Chatterjee, Rupak Majumdar, Thomas A. H...
112
Voted
SIAMCO
2000
99views more  SIAMCO 2000»
15 years 16 days ago
Spectral Analysis of Fokker--Planck and Related Operators Arising From Linear Stochastic Differential Equations
We study spectral properties of certain families of linear second-order differential operators arising from linear stochastic differential equations. We construct a basis in the Hi...
Daniel Liberzon, Roger W. Brockett
103
Voted
LFCS
1997
Springer
15 years 4 months ago
The Concurrency Complexity for the Horn Fragment of Linear Logic
The provability problem for the Horn fragment of linear logic is NP-complete [4, 1]. In this work we investigate various definitions of concurrency proposed in [2] and establish t...
Sergey Dudakov
111
Voted
ESA
2009
Springer
106views Algorithms» more  ESA 2009»
15 years 7 months ago
Fast Evaluation of Interlace Polynomials on Graphs of Bounded Treewidth
Abstract. We consider the multivariate interlace polynomial introduced by Courcelle (2008), which generalizes several interlace polynomials defined by Arratia, Bollob´as, and Sor...
Markus Bläser, Christian Hoffmann
115
Voted
MST
2011
231views Hardware» more  MST 2011»
14 years 3 months ago
On the Complexity of Matroid Isomorphism Problem
We study the complexity of testing if two given matroids are isomorphic. The problem is easily seen to be in Σ p 2. In the case of linear matroids, which are represented over pol...
B. V. Raghavendra Rao, Jayalal M. N. Sarma