• MALSORI
• /
• no.46
• /
• pp.103-115
• /
• 2003

In this paper, we proposed Background Model Set algorithm used in the speaker verification to improve calculating confidence measure(CM) in speech recognition. CM is to display relative likelihood between recognized models and antiphone models. In previous method calculating of CM, we calculated probability and standard deviation using all phonemes in composition of antiphone models. At this process, antiphone CM brought bad recognition result. Also, recognition time increases. In order to solve this problem, we studied about method to reconstitute average and standard deviation using BMS algorithm in CM calculation.

• Proceedings of the KSPS conference
• /
• 2003.05a
• /
• pp.79-82
• /
• 2003

In this paper, we proposed Backgorund Model Set algorithm for the speaker verification to improve the shortcoming of calculating process in conventional confidence measure(CM). CM is to display relative likelihood between recognized models and unrecognized models. Unrecognized models is known as antiphone models. Calculate probability and standard deviation using all phonemes at process that compose antiphone model. At this process, antiphone CM brought bad result. Also, recognition time increases. In order problem, we studied about method to reconstitute average and standard deviation taking BMS algorithm using antiphoneme that near phoneme of CM calculation.

• Journal for History of Mathematics
• /
• v.32 no.1
• /
• pp.27-44
• /
• 2019

This study analyses and discusses on the characteristic and the origin of the exhaustion method caused by the controversy over whether that method succeeded to the Antiphone's complete exhaustion idea and whether that method is similar to the method of limits. First, this study analyses 'principle of exhaustion method' which play an important role in that method in order to grasp the local characteristic of it. And this study speculates the origin of the exhaustion method by considering the time and situation of appearance and looking through the local characteristic of it. Also, this study takes a view of the overall characteristic of the exhaustion method by inquiring into the process of actual application of 'principle of exhaustion method' in a proof. As these results, this study reveals that the exhaustion method uprose not as a succession of Antiphone's idea but as a reaction to its idea, and that the exhaustion method has the recognized character of 'finitude' as distinct from the method of limits.