This paper deals with Czech desambiguated corpus DESAM. It is a tagged corpus which was manually desambiguated and can be used in various applications. We discuss the structure of the corpus, tools us...
Sound type systems have existed for several years for languages with polymorphism, the ability for procedures to work on many kinds of data. Successful systems also exist for languages with a nontrivi...
Sound type systems have existed for several years for languages with polymorphism, the ability for procedures to work on many kinds of data. Successful systems also exist for languages with a nontrivi...
In this paper a part of the system for recognising off-line cursive Czech text is presented. Recently, various systems for recognition of cursive English text has been developed, however, to our knowl...
The recent growth of computational power of desktop computers calls for their efficient use in larger organizations, especially those, which need to run computationally intensive tasks, such as univer...
The recent growth of computational power of desktop computers calls for their efficient use in larger organizations, especially those, which need to run computationally intensive tasks, such as univer...
This chapter presents our solution to the CoCoME assignment that is based on the Fractal component model. The solution involves (i) modeling architecture in Fractal ADL, (ii) specification of componen...
. We study the role played by the indefinite weight function a(x) on the existence of positive solutions to the problem 8 ! : \Gammadiv (jruj p\Gamma2 ru) = a(x)juj p\Gamma2 u + b(x)juj fl \Gamma2 u; ...