We propose a process algebra obtained by adapting the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, 2002, Chap....
This paper presents the design of an interaction environment for fostering social interactions in electronic marketplaces. The environment incorporates a novel, spatially-organize...
Blind image deconvolution is an ill-posed problem that requires regularization to solve. However, many common forms of image prior used in this setting have a major drawback in th...
Progressive transmission represents an effective means for the transmission of spatial data over the web. We classify current implementations of this paradigm as either view- or s...
Padraig Corcoran, Peter Mooney, Michela Bertolotto...
The current research sought to construct a computational model of human navigation for virtual three dimensional environments. The model was implemented within the ACT-R cognitive ...
Mark D. Thomas, Daniel W. Carruth, Bryan Robbins, ...