Sciweavers

70 search results - page 3 / 14
» icalp 2007
Sort
View
ICALP
2007
Springer
15 years 3 months ago
On the Power of k -Consistency
Albert Atserias, Andrei A. Bulatov, Víctor ...
ICALP
2007
Springer
15 years 3 months ago
Subexponential Parameterized Algorithms
Frederic Dorn, Fedor V. Fomin, Dimitrios M. Thilik...
ICALP
2007
Springer
15 years 3 months ago
A Framework for Dynamizing Succinct Data Structures
Ankur Gupta, Wing-Kai Hon, Rahul Shah, Jeffrey Sco...
ICALP
2007
Springer
15 years 1 months ago
A Generalization of Cobham's Theorem to Automata over Real Numbers
Abstract. This paper studies the expressive power of finite-state automata recognizing sets of real numbers encoded positionally. It is known that the sets that are definable in th...
Bernard Boigelot, Julien Brusten
ICALP
2007
Springer
15 years 3 months ago
Holographic Algorithms: The Power of Dimensionality Resolved
Valiant’s theory of holographic algorithms is a novel methodology to achieve exponential speedups in computation. A fundamental parameter in holographic algorithms is the dimens...
Jin-yi Cai, Pinyan Lu