Projects / Programmes
Napredne metode v telekomunikacijah (Slovene)
January 1, 1999
- December 31, 2003
| Code |
Science |
Field |
Subfield |
| 2.08.00 |
Engineering sciences and technologies |
Telecommunications |
|
| Code |
Science |
Field |
| T180 |
Technological sciences |
Telecommunication engineering |
| T121 |
Technological sciences |
Signal processing |
Researchers (33)
Organisations (1)
Abstract
The research program covers two research areas: language technologies and ensuring system correctness. Activities in the area of language technologies cover basic research and development. The topics covered are robust speech processing, automatic speech recognition, synthesis, and spoken dialogue systems. Basic research is focused on development of new methods for noise reduction and robust speech pre-processing in continuous speech recognition. Development of algorithms for multilingual acoustic modelling, parsing techniques and search methods in continuous speech recognition, statistical language modelling, and multilingual speech recognition, automatic Slovenian speech synthesis and development of spoken dialogue system. Research also includes studies of multimodal speech communication in multimedia systems, telephone applications, and Internet. The activities will encompass design and collection of written and spoken language resources (speech databases, corpuses, and lexicons). Development of applications will focus on the use of spoken dialogue systems in teleservices of modern telecommunications systems.
The behaviour of hardware and software of modern communications and telecommunications systems is inherently concurrent and reactive. Such systems are called reactive as they consist of components that execute concurrently and continuously communicate with each other and the environment. Reactive systems are typically used in places where it is very important that they function correctly, i. e. that they behave as expected by the environment or user. One often talks about so-called safety-critical systems. However, due to their reactive nature, it is difficult to ensure their correctness without the employment of methods and software tools for systematic specification, design, validation and verification of specifications and systems. The group’s field of activity will be the research of formal and informal methods and tools for these purposes. Whereas formal methods typically are strongly based on mathematics, the informal ones use other approaches in order to be helpful. The following activities are planned: the development of new and improvement of existent mathematical tools for system specification and verification, the development of new and improvement of existent software tools for formal verification of concurrent and reactive systems using the mentioned mathematical tools, the application of existent and new formal and informal methods, their combinations and software tools for ensuring correctness on practically relevant systems, such as, for example, communications protocols as a part of telecommunications software.
Most important scientific results
Final report
Most important socioeconomically and culturally relevant results
Final report
