Sciweavers

5115 search results - page 448 / 1023
» On Randomized Lanczos Algorithms
Sort
View
ECCV
2006
Springer
15 years 11 months ago
Quasi-conformal Flat Representation of Triangulated Surfaces for Computerized Tomography
In this paper we present a simple method for flattening of triangulated surfaces for mapping and imaging. The method is based on classical results of F. Gehring and Y. V
Eli Appleboim, Emil Saucan, Yehoshua Y. Zeevi
ACL
1994
15 years 9 months ago
Optimizing the Computational Lexicalization of Large Grammars
The computational lexicalization of a grammar is the optimization of the links between lexicalized rules and lexical items in order to improve the quality of the bottom-up filteri...
Christian Jacquemin
SIAMCOMP
2008
84views more  SIAMCOMP 2008»
15 years 7 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
SIGMETRICS
2008
ACM
117views Hardware» more  SIGMETRICS 2008»
15 years 7 months ago
Epidemic live streaming: optimal performance trade-offs
Several peer-to-peer systems for live streaming have been recently deployed (e.g. CoolStreaming, PPLive, SopCast). These all rely on distributed, epidemic-style dissemination mech...
Thomas Bonald, Laurent Massoulié, Fabien Ma...
MST
2010
105views more  MST 2010»
15 years 6 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