Sciweavers

45 search results - page 2 / 9
» mst 2010
Sort
View
MST
2010
86views more  MST 2010»
13 years 4 months ago
New Fixed-Parameter Algorithms for the Minimum Quartet Inconsistency Problem
Maw-Shang Chang, Chuang-Chieh Lin, Peter Rossmanit...
MST
2010
75views more  MST 2010»
13 years 17 days ago
W-Hierarchies Defined by Symmetric Gates
Michael R. Fellows, Jörg Flum, Danny Hermelin...
MST
2010
95views more  MST 2010»
13 years 17 days ago
Optimal Sparse Matrix Dense Vector Multiplication in the I/O-Model
Michael A. Bender, Gerth Stølting Brodal, R...
MST
2010
105views more  MST 2010»
13 years 4 months ago
On the Automatizability of Polynomial Calculus
Abstract We prove that Polynomial Calculus and Polynomial Calculus with Resolution are not automatizable, unless W[P]-hard problems are fixed parameter tractable by one-side error...
Nicola Galesi, Massimo Lauria
MST
2010
81views more  MST 2010»
13 years 4 months ago
Quantum Search with Variable Times
Since Grover’s seminal work, quantum search has been studied in great detail. In the usual search problem, we have a collection of n items x1, . . . , xn and we would like
Andris Ambainis