In this paper, we explain the development of a new Mizar tokenizer and parser program as a component of a search system that works on the Mizar Mathematical Library. The existing Mizar tokenizer and parser can handle only an article as a whole written in the Mizar language, however, the newly developed program can deal with a snippet of a Mizar article. In particular, since it is possible to handle a snippet of an article without specifying a vocabulary section of an environment part, it is expected that user input efforts will be greatly reduced.
In this work the software library for binaural sound localization is presented. The main purpose of the library are the applications for localization tasks in audio systems based on two microphones. The implemented mechanisms include binaural single sound source localization, ITD (Interaural Time Difference) and ILD (Interaural Level Difference) cues and support real-time analysis. LibLaura is written in C++ language and is easily extensible to support new features, time delay estimators and user-defined callbacks.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.