Computer Science
Loading...
ISSN 1508-2806
e-ISSN: 2300-7036
Call number
Volume
Vol. 5
Date
2003
Description
Journal
Computer Science
AGH University Press (2004-)
ISSN: 1508-2806 e-ISSN: 2300-7036
ISSN: 1508-2806 e-ISSN: 2300-7036
journal.volume.project
Contains
Journal Issues
Articles
Generowanie maszyn Turinga poprzez zastosowanie nowych modeli obliczeniowych
(Wydawnictwa AGH, 2003) Dubiel, Leszek
For each problem that can be solved there exists algorithm, which can be described with a program of Turing machine. Because this is very simple model programs tend to be very complicated and hard to analyse by human. The best practice to solve given type of problems is to define a new model of computation that allows for quick and easy programming, and then to emulate its operation with Turing machine. This article shows how to define most suitable model for computation on natural numbers and defines Turing machine that emulates its operation.
Automatyczna klasyfikacja rzeczowników do grup semantycznych na podstawie korpusu tekstów
(Wydawnictwa AGH, 2003) Gajęcki, Marek; Krężołek, Marek
This article presents a method of classification of nouns into semantic groups based on statistical inference. The algorithm uses the inflectional dictionary of the Polish language and a corpus of texts to analyse adjective-noun relationships. The semantic groups are consistent with the categorization in the WordNet dictionary. The classification of nouns into semantic groups is a small step towards constructing a semantic dictionary for the Polish language.
Trends in modern exception handling
(Wydawnictwa AGH, 2003) Kuta, Marcin
Exception handling is nowadays a necessary component of error proof information systems. The paper presents overview of techniques and models of exception handling, problems connected with them and potential solutions. The aspects of implementation of propagation mechanisms and exception handling, their effect on semantics and general program efficiency are also taken into account. Presented mechanisms were adopted to modern programming languages. Considering design area, formal methods and formal verification of program properties we can notice exception handling mechanisms are weakly present what makes a field for future research.
Model of Internet system client service
(Wydawnictwa AGH, 2003) Rak, Tomasz
At present, service of different kinds of internet clients involves necessity of defining their behaviour in various situations. To determine optimal solutions it is purposeful to know and to describe objectively their behaviour by means of mathematical models. In this article there are presented existing solutions of the discussed problem and the own model of service of internet clients is proposed.
Software development cost estimation methods and research trends
(Wydawnictwa AGH, 2003) Stępień, Bogdan
Early estimation of project size and completion time is essential for successful project planning and tracking. Multiple methods have been proposed to estimate software size and cost parameters. Suitability of the estimation methods depends on many factors like software application domain, product complexity, availability of historical data, team expertise etc. Most common and widely used estimation techniques are described and analyzed. Current research trends in software estimation cost are also presented.