A Polynomial-Time Algorithm for Checking the Equivalence for Real-Time Deterministic Restricted One-Counter Transducers Which Accept by Final State.
Mitsuo WakatsukiEtsuji TomitaTetsuro NishinoPublished in: SNPD (2013)
Keyphrases
- computational complexity
- k means
- real time
- preprocessing
- worst case
- learning algorithm
- times faster
- neural network
- recognition algorithm
- detection algorithm
- cost function
- experimental evaluation
- probabilistic model
- optimization algorithm
- dynamic programming
- optimal solution
- objective function
- state space
- high accuracy
- expectation maximization
- similarity measure
- randomized algorithm
- computational cost
- segmentation algorithm
- special case
- state variables
- polynomial size
- strongly polynomial