In the symbol recognition stage of online handwritten math expression recognition, the one-pass dynamic programming algorithm can produce high-quality symbol graphs in addition of...
— We have investigated information transmission in operational transconductance amplifiers (OTA) using chopper modulation. Previous work showed that the optimal frequency bandwi...
Acoustic-to-articulatory inversion is usually done in a subjectdependent manner, i.e., the inversion procedure may not work well if the parallel acoustic and articulatory training...
Abstract. Application and development of specialized machine learning techniques is gaining increasing attention in the intrusion detection community. A variety of learning techniq...
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...