We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. I...
Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann...
This paper presents models for graphite pencil, drawing paper, blenders, and kneaded eraser that produce realistic looking pencil marks, textures, and tones. Our models are based ...
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
For the planning of surgical interventions of the spine exact knowledge about 3D shape and the local bone quality of vertebrae are of great importance in order to estimate the anch...
In Gross and Juttijudata (1997) a single node, G/G/1 queue was investigated as to the sensitivity of output performance measures, such as the mean queue wait, to the shape of the ...