23 search results - page 4 / 5 » wia 2007 |
74
Voted
WIA
2007
Springer
15 years 10 months ago
2007
Springer
142
Voted
WIA
2007
Springer
15 years 10 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...
111
Voted
WIA
2007
Springer
15 years 10 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...
117
click to vote
WIA
2007
Springer
15 years 10 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...