The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Information technologies impact our daily life in many significant ways. Nevertheless, there is a lack of availability of some technologies to the wide public caused by their location and price. This insufficiency seems to be even bigger for disabled people. LIRKIS laboratory of Technical university of Košice proposes solutions in education of these people and develops technologies of virtual reality...
Information technologies impact our daily life in many significant ways. Despite this there is a lack of availability of some technologies to the wide public caused by their availability and price. This insufficiency seems to be even bigger for handicapped people. LIRKIS laboratory of Technical university of Košice proposes solutions in education of these people and develops technologies of virtual...
The aim of this work is to highlight the use of semi-immersive virtual reality in educational process. Part of the effort is explanation of virtual reality systems considering immersion and human-computer interaction. For implementation of such a system was needed to define requirements to enhance productivity during education. Described solution is based on virtual workbench using touch user interface...
This work represents a new solution for augmented reality systems for desktop computers with Windows OS and mobile devices specifically with Android OS. It describes and explains the basic aspects and principles of augmented reality, and at the same time it analyzes problems of the actual implementation of such systems. After this analysis, two separate applications are designed for desktop computers...
The paper deals with the issue of the verification of communication protocols based on integration of formal methods chosen (a process algebra and Petri nets). A method is proposed, that uses the process algebra for protocol specification, and transformation rules for a translation of the specification into a Petri net while preserving the semantics of the specification. Petri nets are well-known...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.