Sciweavers

18306 search results - page 400 / 3662
» Algorithmics in Exponential Time
Sort
View
CORR
2010
Springer
108views Education» more  CORR 2010»
15 years 2 months ago
Finding Cycles and Trees in Sublinear Time
We present sublinear-time (randomized) algorithms for finding simple cycles of length at least k 3 and tree-minors in bounded-degree graphs. The complexity of these algorithms is...
Artur Czumaj, Oded Goldreich, Dana Ron, C. Seshadh...
181
Voted
STOC
2007
ACM
164views Algorithms» more  STOC 2007»
16 years 7 months ago
All-pairs bottleneck paths for general graphs in truly sub-cubic time
In the all-pairs bottleneck paths (APBP) problem (a.k.a. allpairs maximum capacity paths), one is given a directed graph with real non-negative capacities on its edges and is aske...
Virginia Vassilevska, Ryan Williams, Raphael Yuste...
ESA
2007
Springer
99views Algorithms» more  ESA 2007»
16 years 1 months ago
Linear-Time Ranking of Permutations
Abstract. A lexicographic ranking function for the set of all permutations of n ordered symbols translates permutations to their ranks in the lexicographic order of all permutation...
Martin Mares, Milan Straka
ISSS
1997
IEEE
92views Hardware» more  ISSS 1997»
15 years 11 months ago
Synthesising Controllers from Real-Time Specifications
We present an algorithm for synthesising controllers specified in a subset of the interval temporal logic Duration Calculus [13]. The synthesised controllers are given as PLC-Auto...
Henning Dierks
CORR
2010
Springer
150views Education» more  CORR 2010»
15 years 7 months ago
Dendritic Cells for Real-Time Anomaly Detection
Dendritic Cells (DCs) are innate immune system cells which have the power to activate or suppress the ystem. The behaviour of human DCs is abstracted to form an algorithm suitable...
Julie Greensmith, Uwe Aickelin