203 search results - page 10 / 41 » Improved undecidability results on weighted timed automata |
SIAMCOMP
2010
13 years 2 months ago
2010
In the first part of the paper, we reexamine the all-pairs shortest paths (APSP) problem and present a new algorithm with running time O(n3 log3 log n/ log2 n), which improves all...
WSC
2004
13 years 8 months ago
2004
Calvin and Nakayama previously introduced permuting as a way of improving existing standardized time series methods. The basic idea is to split a simulated sample path into nonove...
LICS
2007
IEEE
14 years 1 months ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
ICMCS
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper proposes a novel music genre classification system based on two novel features and a weighted voting method. The proposed features, modulation spectral flatness measu...
ALGORITHMICA
2006
13 years 7 months ago
2006
Abstract. In this paper we prove the optimality and other properties of the -adic nonadjacent form: this expansion has been introduced in order to efficiently compute scalar multip...