The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
This paper presents a method to develop a class of variable memory Markov models that have higher memory capacity than traditional (uniform memory) Markov models. The structure of...
An overview of previous approaches to the visualisation of uncertainty is presented making the distinction between verity visualisation, where the uncertainty information is an in...
Many recent developments in technological design are aimed towards the ‘humanisation’ of technology, that is, making technology behave in a way that is more ‘intuitive’, â€...
: In the last decade many governments have created e-services in order to deliver instant and advanced services to their citizens. One of the major transactions between the state a...