Identification problems of linear dynamic systems in the class of parametric mathematical models are considered. A method of calculating of guaranteed estimates of indefinite parameters is proposed. The method is based on the specific semiinfinite extremal problems solution.

This paper presents a practical analytical approach to evaluating continuous, monotonic functions of independent fuzzy numbers. The approach is based on a parametric α-cut representation of fuzzy numbers and allows for the inclusion of parameter uncertainties into mathematical models.

Formal specification methods have not been embraced wholeheartedly by the software development industry. We believe that a large part of industry’s reluctance is due to semantic gaps that are encountered when attempting to integrate formal specification with other stages of the software development process. Semantic gaps necessitate a dramatic shift in a programmer’s mode of thought, and underg...

Improvements in distributed computing, and the technologies that enable them, have led to significant advancements in middleware functionality and quality, mainly through networking and protocols. However, the distributed programing style has changed little over the years. Most programs are still written line per line of code in languages such as C, Cþþ, and Java. These conventional programs th...

The difficulty associated with programing existing robots is one of the main impediments to them finding application in domestic environments such as the home. A promising method for simplifying robot programing is Programing by Demonstration (PbD). Here, an end user can provide a demonstration of the task to be programed, with a PbD “interface” interpreting the demonstration in order to determ...

Based on previous works by the authors on evolutionary architecture paradigm of evolving architectural form, new research is being carried out to develop a virtual environment with system implementation model of evolving creative tower designs. The solid models are created by evolution with computational intelligence and enhanced mathematical models. Models will evolve according to computationa...

This paper describes a few ideas concerned with geographical information systems (GIS) development. Those ideas come from a GIS development project named GeKon, which is now held on the Department of Computer Science at CTU. The first of them deals with a huge semantic gap between the complex structure of real world and its representation in GIS. Some papers describe this problem as a consequen...