Sciweavers

18306 search results - page 185 / 3662
» Algorithmics in Exponential Time
Sort
View
73
Voted
DAC
2003
ACM
15 years 11 months ago
An O(nlogn) time algorithm for optimal buffer insertion
The classic algorithm for optimal buffer insertion due to van Ginneken has time and space complexity O(n2 ), where n is the number of possible buffer positions. We present a new a...
Weiping Shi, Zhuo Li
86
Voted
STOC
2005
ACM
158views Algorithms» more  STOC 2005»
15 years 10 months ago
Polynomial time quantum algorithm for the computation of the unit group of a number field
We present a quantum algorithm for the computation of the irrational period lattice of a function on Zn which is periodic in a relaxed sense. This algorithm is applied to compute t...
Arthur Schmidt, Ulrich Vollmer
67
Voted
AC
2003
Springer
15 years 3 months ago
Timed Automata: Semantics, Algorithms and Tools
This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools. We prese...
Johan Bengtsson, Wang Yi
90
Voted
IJON
2006
73views more  IJON 2006»
14 years 10 months ago
Optimal selection of time lags for TDSEP based on genetic algorithm
In this letter, a two-step learning scheme for the optimal selection of time lags is proposed for a typical temporal blind source separation (TBSS), Temporal Decorrelation source ...
Zhan-Li Sun, De-Shuang Huang, Chun-Hou Zheng, Li S...
IPPS
2006
IEEE
15 years 4 months ago
Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
Peter Csaba Ölveczky, Stian Thorvaldsen