This paper reports the trial of a memory prosthesis, SenseCam, as a resource for digital narratives. Over a period of one week, six participants were asked to use SenseCams to cap...
Richard H. R. Harper, Dave W. Randall, N. Smythe, ...
In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them ...
: Multimedia applications nowadays are becoming the standard, for they utilize the enormous human brain computational power. In the past, the Relational Database Model was generali...
A method based on computer vision technologies is presented to achieve the function that the simulated motion in sport simulation system and the motion in sport video are presente...
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...