Sciweavers

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