Sciweavers

18306 search results - page 256 / 3662
» Algorithmics in Exponential Time
Sort
View
152
Voted
TACAS
2000
Springer
96views Algorithms» more  TACAS 2000»
15 years 10 months ago
On Memory-Block Traversal Problems in Model-Checking Timed-Systems
Fredrik Larsson, Paul Pettersson, Wang Yi
STOC
1995
ACM
114views Algorithms» more  STOC 1995»
15 years 10 months ago
Sorting in linear time?
Arne Andersson, Torben Hagerup, Stefan Nilsson, Ra...
AAECC
1991
Springer
90views Algorithms» more  AAECC 1991»
15 years 10 months ago
Polynomial-Time Construction of Spherical Codes
Gilles Lachaud, Jacques Stern
STOC
1991
ACM
109views Algorithms» more  STOC 1991»
15 years 10 months ago
Checking Computations in Polylogarithmic Time
László Babai, Lance Fortnow, Leonid ...