2487 search results - page 60 / 498 » cases 2009 |
97
Voted
CPM
2009
Springer
15 years 4 months ago
2009
Springer
We present a new efficient algorithm for exact matching in encoded DNA sequences and on binary strings. Our algorithm combines a multi-pattern version of the Bndm algorithm and a s...
110
Voted
BIRTHDAY
2009
Springer
14 years 10 months ago
2009
Springer
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A gene...
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We extend discrete-timed Petri nets with a cost model that assigns token storage costs to places and firing costs to transitions, and study the minimal cost reachability...
88
Voted
STACS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We prove that, for any arbitrary finite alphabet and for the uniform distribution over deterministic and accessible automata with n states, the average complexity of Moo...
105
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
— It is presented a discontinuous controller that ensure uniform finite-time zero stabilization of the output for uncertain SISO systems of relative degree two, while keeping th...