The chief purpose of this paper is to appraise the feasibility of Girard’s linear logic as a specification language for parallel processes. To this end we propose an interpreta...
There are many applications for computer vision where a scene observed contains a wide range of brightness. Often, the low dynamic range of a camera limits the accuracy of informa...
Tracking people within a scene has been a longstanding challenge in the field of computer vision. A common approach involves matching the background against the incoming video str...
A translation is a conversion from a source language into a target language preserving the meaning. A huge number of techniques and computational approaches have been experimented...
The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a l...