Methods and systems to traverse graph-based networks

A computer program product including a computer readable medium having computer program logic stored therein, the computer program logic comprising:

• inference logic to cause a processor to translate input labels of arcs of a network, corresponding to a sequence of states of the network, to a list of output grammar elements of the arcs, corresponding to a sequence of grammar elements;
• wherein the arcs include inherent likelihood information;
• wherein at least a portion of the arcs further include self loop inherent likelihood information;
• and
• wherein the inference logic includes,
• self loop update logic to cause the processor to update accumulated likelihood information of at least a subset of the set of active arcs that include the self-loop inherent likelihood information, based at least on the corresponding self-loop inherent likelihood information,
• first propagation logic to cause the processor to propagate accumulated likelihood information of the set of active arcs during a first propagation phase, subsequent to the updating of the accumulated likelihood information,
• second propagation logic to cause the processor to propagate accumulated likelihood information to newly activated arcs in a second propagation phase subsequent to the first propagation phase, wherein the newly activated arcs include one or more outgoing arcs of one or more states updated during the first propagation phase;
• logic to cause the processor to revise the set of active arcs to include the newly activated arcs and to omit arcs having an accumulated likelihood value below a threshold;
• and
• repeat logic to cause the processor to invoke self-loop update logic, the first propagation logic, and the second propagation logic with respect to the revised set of active arcs.