This paper presents a framework for directly addressing issues arising from self-occlusions and ambiguities due to the lack of depth information in vector-based representations. V...
: Rapid explosion of the number of online retailers as well as online customers has been observed in these past few years. Comparable growth in sellers and buyers means that Intern...
In the past decade, compositional modelling (CM) has established itself as the predominant knowledge-based approach to construct mathematical (simulation) models automatically. Al...
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
: Mesenchymal motion denotes a form of cell movement through tissue, which can be observed for certain cancer metastasis. In [11], a mathematical model for this form of movement wa...