… paper, we formalized timespace conflict analysis as a classification task and developed a
taxonomy of time-space conflicts to be used in categorizing and prioritizing the spatial conflicts …

… To find the average space occupied, we find the cumulative space-time product, and then
divide by the execution time. Let p be the cumulative space-time product at the start of …

… In order to demonstrate how the formalization of conceptual spaces works in practice we
use a case where a navigation service gives instructions to a wayfinder. These instructions …

… only of Hilbert space. It is difficult to predict the future of axiomatic and formalized methods
in … that points out the low level of formalization current in much of contemporary science, it is …

… of time and space. Table 1 lists general propositions on the effects of these forces in
postmodern societies, emphasizing that increases in the prominence and importance of cultural …

A standard formalization of a scientific theory is a system of axioms for that theory in a first-order
language (possibly many-sorted; possibly with the membership primitive ∈ \…

… the formalization of learning and representing human movement in a street network as a
large scale space. The proposed approach is based on development of a DSS for spatial …

… in time, costs and coverage in order to ensure sustainable management of a certain nature
of the system (which is a set of subjects – bearers of these interests); b) formalized in the …

… formalizing the concept of space as a variety of positions becomes open. In this formalization …
to mere distances, «mere intervals of intervening space». Height, breadth, and depth are …

… Much time and space has been devoted to the discussion of the logical paradoxes or
contradictions. Sometimes it is said that these paradoxes bring to light the selfcontradictory …