A hierarchical framework is proposed to address the issues of modeling different type of words in keyword spotting (KWS). Keyword models are built at various levels according to the availability of training set resources for each individual word. The proposed approach improves the performance of KWS even when no training speech is available for the keywords. It also suggests an easier way to co...

boolean byte class double else extends final finally float if implements int interface long native new private public return short static super synchronized this throw throws transient try void volatile while ( ) [ ] { } ; , . = Figure 1: Java keywords.

An application of timed game automaton to the control synthesis of discrete manufacturing systems is presented in the paper. This approach adopts the algorithm for optimal control synthesis of timed automata proposed in [1] as a game-theoretic approach between controller and the model of the plant. KeyWords: Timed automata, control synthesis, model verification, production systems.

This paper investigates optimal replenishment lot size and optimal number of shipments for economic production quantity (EPQ) model with rework process using an algebraic approach. The classic EPQ model assumes a perfect quality production for all items produced and a continuous issuing policy for satisfying customer‟s demand. However, in a real life vendor-buyer integrated-production-inventory...