Sciweavers

2040 search results - page 98 / 408
» On the Complexity of Error Explanation
Sort
View
FOCS
1994
IEEE
14 years 1 months ago
Expander Codes
Sipser and Spielman have introduced a constructive family of asymptotically good linear error-correcting codes--expander codes--together with a simple parallel algorithm that will ...
Michael Sipser, Daniel A. Spielman
PPSC
1997
13 years 10 months ago
A Parallel Algorithm for Interval Polynomial Interpolation
By taking data measurement errors into considerations, numerical results obtained by interval polynomial interpolation [5] are highly reliable. To reduce overestimation, combinati...
Chenyi Hu
SIAMCOMP
2008
84views more  SIAMCOMP 2008»
13 years 9 months ago
Resolution Is Not Automatizable Unless W[P] Is Tractable
We show that neither Resolution nor tree-like Resolution is automatizable unless the class W[P] from the hierarchy of parameterized problems is fixed-parameter tractable by randomi...
Michael Alekhnovich, Alexander A. Razborov
MST
2010
105views more  MST 2010»
13 years 7 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
NAACL
2010
13 years 7 months ago
A Hybrid Morphologically Decomposed Factored Language Models for Arabic LVCSR
In this work, we try a hybrid methodology for language modeling where both morphological decomposition and factored language modeling (FLM) are exploited to deal with the complex ...
Amr El-Desoky, Ralf Schlüter, Hermann Ney