Sciweavers

Share
7 search results - page 1 / 2
» OMS 2016
Sort
View
OMS
2016
67views more  OMS 2016»
1 years 9 months ago
Perturbed sums-of-squares theorem for polynomial optimization and its applications
We consider a property of positive polynomials on a compact set with a small perturbation. When applied to a Polynomial Optimization Problem (POP), the property implies that the o...
Masakazu Muramatsu, Hayato Waki, Levent Tunç...
SOFSEM
2016
Springer
1 years 9 months ago
KMP Based Pattern Matching Algorithms for Multi-Track Strings
Multi-track string is an N-tuple strings of length n. For two multi-track strings T = (t1, t2, . . . , tN ) of length n and P = (p1, p2, ..., pM ) of length m, permuted pattern mat...
Diptarama, Yohei Ueki, Kazuyuki Narisawa, Ayumi Sh...
LATA
2016
Springer
1 years 9 months ago
Minimal Separating Sequences for All Pairs of States
Abstract. Finding minimal separating sequences for all pairs of inequivalent states in a finite state machine is a classic problem in automata theory. Sets of minimal separating s...
Rick Smetsers, Joshua Moerman, David N. Jansen
TALG
2016
52views more  TALG 2016»
1 years 9 months ago
A New Approach to Incremental Cycle Detection and Related Problems
We consider the problem of detecting a cycle in a directed graph that grows by arc insertions, and the related problems of maintaining a topological order and the strong components...
Michael A. Bender, Jeremy T. Fineman, Seth Gilbert...
books