This paper describes a man-machine theorem proving system at the Un ivers i ty of Texas (Austin) which has been used to prove a few theorems in general topology. The theorem (or subgoal) being proved is presented on the scope in i t s na tu ra l form so that the user can eas i l y comprehend it and, by a series of i n t e rac t i ve commands, can help wi th the proof when he des i res . A featu...

Sign language recognition has spawned more and more interest in human–computer interaction society. The major challenge that SLR recognition faces now is developing methods that will scale well with increasing vocabulary size with a limited set of training data for the signer independent application. The automatic SLR based on hidden Markov models (HMMs) is very sensitive to gesture's shape inf...