Sciweavers

70 search results - page 3 / 14
» icalp 2007
Sort
View
ICALP
2007
Springer
15 years 11 months ago
On the Power of k -Consistency
Albert Atserias, Andrei A. Bulatov, Víctor ...
ICALP
2007
Springer
15 years 11 months ago
Subexponential Parameterized Algorithms
Frederic Dorn, Fedor V. Fomin, Dimitrios M. Thilik...
134
Voted
ICALP
2007
Springer
15 years 11 months ago
A Framework for Dynamizing Succinct Data Structures
Ankur Gupta, Wing-Kai Hon, Rahul Shah, Jeffrey Sco...
ICALP
2007
Springer
15 years 9 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
150
Voted
ICALP
2007
Springer
15 years 11 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