In this paper we deal with the problem of the relationship between the equipotency defined as a consequence of a given definition of scalar cardinality of a fuzzy set and the exis...
This paper presents an application of a DL reasoner to the optimization of an object-relational query language. Queries containing aggregate functions are difficult to optimize be...
The paper describes a concept for GIS based terrain mobility modelling and optimization of off-road route. The concept of generation of cost surface is based on machine, terrain, ...
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
We characterize elementary equivalences and inclusions between von Neumann regular real closed rings in terms of their boolean algebras of idempotents, and prove that their theorie...