Olomouc is a unique and complex landmark with widespread forestation and land use. This research work was conducted to assess important and complex land use change trajectories in Olomouc region. Multi-temporal satellite data from 1991, 2001 and 2013 were used to extract land use/cover types by object oriented classification method. To achieve the objectives, three different aspects were used: ...

This paper presents a new worst-case analysis of heuristic approach to solve the Set Covering Problem (SCP) which is NP-hard. In this analysis Worst-case complexity and upper bound of solving SCP using this approach are presented.

cover

Service-oriented computing offers efficient solutions for executing complex applications in an acceptable amount of time. These solutions provide important computing and storage resources, but they are too difficult for individual users to handle. In fact, Service-oriented architectures are usually sophisticated in terms of design, specifications, and deployment. On the other hand, workflow man...

We introduce two notions, (i)oriented labelling and (ii) oriented labelling, to explore frequency assignment problem under halfduplex setting and compute bounds of oriented labelling of special classes of graphs : trees, bipartite graphs and planar graphs. We do study an oriented version of clique cover problem as well. The frequency assignment problem (FAP) arises in wireless communication sys...

Today’s network infrastructures are inadequate to cover the needs of small groups or new requirements that popup daily from the ever-increasing demand for more sophisticated services. Place-Oriented VPNs are based on the agent technology and can be built on top of existing infrastructure by any user. We expect that in the future this flexible, dynamic and low cost approach that supports not onl...

Object-oriented languages provide advantages such as reuse and modularity, but they also raise new challenges for program verification. Program logics have been developed for languages such as C# and Java. However, these logics do not cover the specifics of the Eiffel language. This paper presents a program logic for Eiffel that handles exceptions, once routines, and multiple inheritance. The l...