Sciweavers

13603 search results - page 152 / 2721
» On the Complexity of Computing Treelength
Sort
View
ITNG
2007
IEEE
14 years 4 months ago
Computational Power of the Quantum Turing Automata
Lots of efforts in the last decades have been done to prove or disprove whether the set of polynomially bounded problems is equal to the set of polynomially verifiable problems. T...
Sina Jafarpour, Mohammad Ghodsi, Keyvan Sadri, Zuh...
LICS
2008
IEEE
14 years 4 months ago
On the Expressiveness and Complexity of Randomization in Finite State Monitors
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
CIE
2007
Springer
14 years 3 months ago
The Complexity of Small Universal Turing Machines
Damien Woods, Turlough Neary
ICALP
2007
Springer
14 years 3 months ago
Complexity of the Cover Polynomial
Markus Bläser, Holger Dell