Processing of Logical Expressions for Visually Impaired Users

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F04%3A03099524" target="_blank" >RIV/68407700:21230/04:03099524 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Processing of Logical Expressions for Visually Impaired Users
Original language description
Although there are many voice systems that can act as user interfaces for visually impaired people, there is still a problem with explaining more complicated structures to these users (such as mathematical equations, logical proofs, chemical formulas etc.) through speech. The output of such an interface is then reduced to a text reader. The problem is that we have lost (graphic) information about the structure, which is 2-dimensional. Within this paper we will describe a solution to this problem. We will concentrate on the structure of expressions and on reading logical proofs. We will present a preliminary design for a new markup language to describe the structure of logical proof and a method of how to present it to users by using speech efficiently.
Czech name
Není k dispozici
Czech description
Není k dispozici

Project
<a href="/en/project/GA201%2F02%2F1553" target="_blank" >GA201/02/1553: Natural Language Communication Interface of Information and Database Systems for Handicapped Persons with Special Needs</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2004
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Text, Speech and Dialogue, 7th International Conference TSD 2004
ISBN
3-540-23049-1
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
553-560
Publisher name
Springer
Place of publication
Berlin
Event location
Brno
Event date
Sep 8, 2004
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—

Similar results(10)