Sciweavers

18306 search results - page 186 / 3662
» Algorithmics in Exponential Time
Sort
View
TAPSOFT
1997
Springer
15 years 2 months ago
The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and Their Model Checking in High Level Languages
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
Danièle Beauquier, Anatol Slissenko
76
Voted
CDC
2008
IEEE
121views Control Systems» more  CDC 2008»
15 years 4 months ago
Stability of a second order consensus algorithm with time delay
—In this paper, we investigate a second order consensus problem in a directed graph with non-uniform time delay. This problem arises naturally in real multi-agent systems such as...
Wen Yang, Andrea L. Bertozzi, Xiaofan Wang
92
Voted
ALGORITHMICA
2008
142views more  ALGORITHMICA 2008»
14 years 10 months ago
New Linear-Time Algorithms for Edge-Coloring Planar Graphs
We show efficient algorithms for edge-coloring planar graphs. Our main result is a linear-time algorithm for coloring planar graphs with maximum degree with max{, 9} colors. Thus...
Richard Cole, Lukasz Kowalik
83
Voted
COLOGNETWENTE
2009
14 years 11 months ago
A Simple Linear-Time Recognition Algorithm for Weakly Quasi-Threshold Graphs
: Weakly quasi-threshold graphs form a proper subclass of the well-known class of cographs by restricting the join operation. In this paper we characterize weakly quasi-threshold g...
Stavros D. Nikolopoulos, Charis Papadopoulos
75
Voted
ICALP
2005
Springer
15 years 3 months ago
Linear Time Algorithms for Clustering Problems in Any Dimensions
Abstract. We generalize the k-means algorithm presented by the authors [14] and show that the resulting algorithm can solve a larger class of clustering problems that satisfy certa...
Amit Kumar, Yogish Sabharwal, Sandeep Sen