In literature exist many links to translation of speech into sign language and links to gesturing with avatars. But the author cannot get any link to a visualization of background...
The requirements imposed on information retrieval systems are increasing steadily. The vast number of documents in today's large databases and especially on World Wide Web ca...
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
We study the multicast stream authentication problem when an opponent can drop, reorder and introduce data packets into the communication channel. In such a model, packet overhead...
Post adoption behaviours of e-service users are important for e-service providers to increase both their revenues and profits. This paper develops a model to investigate the facto...