Weighted Transducers Theory and Algorithms00:00
Speech Recognition01:01
Computational Biology: Similar Situation03:44
General Problem04:32
Motivation05:15
This Tutorial06:31
Software Libraries07:57
This Talk09:06
Weight Sets: Semirings09:34
Semirings - Examples11:31
Weighted Automata16:12
Weighted Transducers18:10
Rational Operations19:48
This Talk22:01
Composition23:04
Epsilon-Free Composition26:34
Illustration - 128:07
Redundant ε-Paths Problem31:57
Correctness of Filter - 143:29
Correctness of Filter - 243:37
Other Filters43:39
This Talk45:34
Shortest-Distance Problem46:49
All-Pairs Shortest-Distance Algorithm49:13
Pseudocode - 149:20
Single-Source Shortest-Distance Algorithm52:53
Pseudocode - 259:05
Notes01:01:42
This Talk01:01:48
Epsilon-Removal01:04:57
Illustration - 201:09:24
Main Algorithm01:10:15
This Talk01:10:29
