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.
A protocol of resource management in a multi-agent system is presented. The system consists of a distributed set of agents, each of which runs locally on a computer in the network. The agent running on a computer is responsible for performing jobs initiated on this computer and for managing the local resources. Each job proceeds according to a program and it involves a number of indivisible pieces...
The paper presents briefly technical aspects of a new approach to object-oriented views. It is done in a semi-formal way based on simple, leading examples. The examples have to illustrate main features of a model. This approach relies on treating views via virtual objects, which are to have main properties of real ojects such as identity, their classes and operations. These notions are meant to be...
This paper describes the development and validation of an Estelle specification of a distributed algorithm solving the dynamic resource allocation problem. This is a modified version of the algorithm originally proposed in (Winkowski 1998). The specification has been obtained and validated with Estelle Development Tools. The main steps in the construction of the specification are presented and the...
Niniejszy raport zawiera klasyfikacje zjawisk syntaktycznych charakterystycznych dla zdań w języku polskim. Celem tworzenia niniejszej klasyfikacji było opracowanie listy konstrukcji gramatycznych, które powinny być analizowane przez formalne gramatyki języka polskiego. W oparciu o opracowane klasyfikacje utworzono zbiór zdań testowych ilustrujących wszystkie objęte nią zjawiska. Zbiór ten zawiera...
Jest to czwarty zeszyt w serii "Na wózku inwalidzkim po infostradzie do Europy?", przygotowany przez działaczy Fundacji Pomocy Matematykom i Informatykom Niesprawnym Ruchowo (FPMiINR). Zachowany jest tradycyjny, trzyczęściowy układ: Internet dla Niepełnosprawnych (IdN), rehabilitacja społeczna i zawodowa inwalidów ruchu, sprawozdanie z pracy Fundacji w minionym roku. Część pierwsza jest...
Praca ta zawiera częściową specyfikację projektu systemu operacyjnego PORTOS. Projekt ten jest rozwijany jako materiał wspomagający kursy Teorii Systemów Operacyjnych oraz Języków Programowania na Wydziale Matematyki Uniwersytetu Łódzkiego. Głównymi cechami systemu PORTOS są przenośne binarnie aplikacje, wykonywane przez wyspecjalizowane maszyny wirtualne, wielodostęp, wielozadaniowość, sieciowa skalowalność...
This work aims at presenting a sample algorithm that is implemented on the PEGAZ Agent Platform, designed and developed by S. Ambroszkiewicz and T. Nowak. The algorithm provides all the agents and services with an uniform mechanism for sending messages along the shortest possible paths through the network. The network is represented here as a finite undirected graph. No copies of messages are created...
This report is a continuation of the previous report "Defining intervals by means of point skeletons: generalization of pairs of points", where a notion of "point skeletons" is introduced. Point skeletons are organized by a precedence relation < and the inclusion relation C. In this report, the notion of solidity of intervals is introduced for point skeletons. Three axiomatizations...
A protocol of resource management in a multi-agent system is presented. The system consists of a distributed set of agents, each of which runs locally on a computer in the network. The agent running on a computer is responsible for performing jobs initiated on this computer and for managing the local resources. Each job proceeds according to a program and it involves a number of indivisible pieces...
Niniejsza praca stanowi wstępny opis składnikowych konstrukcji współrzędnych wykorzystujący formalizm HPSG (Head-driven Phrase Structure Grammar, Pollard i Sag (1994)). Przyjęte tu rozwiązanie oparte jest na pracy Paritong (1992). Zakłada ono, że spójnik jest elementem głównym (ang. Head) frazy współrzędnej. Przyjęcie takiej analizy pozwala na zastosowanie ogólnych zasad gramatycznych HPSG także do...
Opracowanie zawiera opis koncepcji segmentacji maski ruchu z sekwencji obrazów drogi z równoczesną filtracją maski wg parametrycznie zadanego progu zakłóceń, oddzielającym je od masek ruchomych obiektów (pojazdów) oraz koncepcję obliczeń parametrów ich ruchu.
The aim of the paper is to advertise a methodology of developing deduction systems for various logic based on the analysis of their semantics. This is achieved by "mirroring" the semantics of all the logical constructs (connectives, quantifiers, modalities, …) through invertible rules operating on sequences of formulae of the logic. The methodology is based on the use of a simple and universal...
A model of distributed computations is proposed. Distributed computations are modeled as distributed processes of transforming graphs and they are represented by contextual occurrence nets equipped with graph structures. This allows one to reflect branching and concurrency of context-dependent events. Operations on structures representing processes are defined that allow one to construct such structures...
Opracowanie dotyczy konstruowania widokowych 2,5W dokładnych modeli niewypukłych wielościanów w/g koncepcji sfery widokowej z rzutowaniem perspektywicznym I spełniającym wymóg kompletności. Modele te są przewidziane do systemów identyfikacji wizualnej, opartej na bazie 2,5W modeli i mapach głębi. W szczególności jest opisana nowa koncepcja oraz podany algorytm ściano-zależnego wyboru punktów widokowych,...
In this paper we present translation scheme of justified and constrained default logic into circumscription. For this purpose we adopt possible world semantics for default theories introduced by Besnard and Schaun in [1]. This translation allows us to represent the common part of all extensions of any finite default theory as the circumscription axiom.
Opracowanie zawiera opis implementacji oraz wyniki badań metody proceduralnej filtracji i segmentacji maski ruchu, do zastosowania w przetwarzaniu sekwencji obrazów drogi, której koncepcja została opisana w [23]. W szczególności są opisane procedury realizacji poszczególnych gałęzi algorytmu (zwanych testami), przytoczone dane wejściowe (maski ruchu obiektów na scenie), zmienne ze względu na rozległość...
The paper deals with analysis of elementary Petri nets with respect to possibilities of avoiding conflicts during their executions. In concurrent systems, unlike to the sequential ones, avoiding of potential conflicts is not impossible. The basic notion of the paper is the notion of fairness, in sequential (fair run) and concurrent (fair process) versions. Main results: 1. The proof of decidability,...
To be able to recognize never seen pathogens, the immune system applies a number of methods allowing maintaining sufficient diversity of its receptors. The most important methods are: clonal selection, and suppression of ineffective receptors (programmed death of cells). That is receptors reacting against pathogens are subjected cloning, and further the clones are genetically mutated. Only most efficient...
Jest to piąty zeszyt w serii "Na wózku inwalidzkim po infostradzie do Europy?" przygotowany przez działaczy Fundacji Pomocy Matematykom i Informatykom Niesprawnym Ruchowo (FPMiINR). Zeszyt ten w całości poświęcony jest prezentacji Seminarium IdN'2000 "Internet dla Niepełnosprawnych dziś i jutro", które odbyło się w dniach 24-25 października 2000 roku. Przedstawiono w nim w całości...
W niniejszych notatkach przedstawiono elementy nowej, ilościowej teorii uczenia bez nadzoru na podstawie pragmatycznej komunikacji językowej. Podano argumenty wskazujące na to, że odpowiedni formalizm wnioskowania ilościowego wolny od paradoksów powinien bazować na minimalnej długości opisu jako uproszczonej mierze złożoności algorytmicznej, a nie na prawdopodobieństwie jako klasycznej mierze częstości...
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.