We describe a technique for reconstructing probable occluded surfaces from 3-D range images. The technique exploits the fact that many objects possess shape symmetries that can be...
A common problem with teleconferences is awkward turn-taking – particularly ‘collisions,’ whereby multiple parties inadvertently speak over each other due to communication d...
Kazumasa Murai, Don Kimber, Jonathan Foote, Qiong ...
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
We have previously presented Qsilver, a flexible simulation system for graphics architectures. In this paper we describe our extensions to this system, which we use— instrument...
Jeremy W. Sheaffer, Kevin Skadron, David P. Luebke
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...