23 search results - page 4 / 5 » wia 2007 |
WIA
2007
Springer
13 years 11 months ago
2007
Springer
WIA
2007
Springer
13 years 11 months ago
2007
Springer
WIA
2007
Springer
13 years 11 months ago
2007
Springer
We introduce a weighted logic with discounting and we establish B¨uchi’s and Elgot’s theorem for weighted automata over finite words and arbitrary commutative semirings. The...
WIA
2007
Springer
13 years 11 months ago
2007
Springer
We study the pattern matching automaton introduced in [1] for the purpose of seed-based similarity search. We show that our definition provides a compact automaton, much smaller t...
WIA
2007
Springer
13 years 11 months ago
2007
Springer
We improve an existing bisimulation minimisation algorithm for tree automata by introducing backward and forward bisimulations and developing minimisation algorithms for them. Mini...