Sciweavers

45 search results - page 2 / 9
» mst 2010
Sort
View
MST
2010
86views more  MST 2010»
13 years 3 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 3 days ago
W-Hierarchies Defined by Symmetric Gates
Michael R. Fellows, Jörg Flum, Danny Hermelin...
MST
2010
95views more  MST 2010»
13 years 3 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 3 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 3 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