Sciweavers

715 search results - page 81 / 143
» Second step algorithms in the Burrows-Wheeler compression al...
Sort
View
SAS
2012
Springer
208views Formal Methods» more  SAS 2012»
11 years 10 months ago
Finding Non-terminating Executions in Distributed Asynchronous Programs
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...
Michael Emmi, Akash Lal
CVPR
2006
IEEE
14 years 1 months ago
3D Face Recognition Using 3D Alignment for PCA
This paper presents a 3D approach for recognizing faces based on Principal Component Analysis (PCA). The approach addresses the issue of proper 3D face alignment required by PCA f...
Trina Russ, Chris Boehnen, Tanya Peters
PCM
2001
Springer
150views Multimedia» more  PCM 2001»
14 years 2 days ago
Unsupervised Analysis of Human Gestures
Recognition of human gestures is important for analysis and indexing of video. To recognize human gestures on video, generally a large number of training examples for each individu...
Tianshu Wang, Heung-Yeung Shum, Ying-Qing Xu, Nann...
ESOP
2007
Springer
14 years 1 months ago
Small Witnesses for Abstract Interpretation-Based Proofs
tnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, F-35042 R...
Frédéric Besson, Thomas P. Jensen, T...
3DPVT
2004
IEEE
136views Visualization» more  3DPVT 2004»
13 years 11 months ago
A Unified Representation for Interactive 3D Modeling
Interactive 3D modeling is the process of building a 3D model of an object or a scene in real-time while the 3D (range) data is acquired. This is possible only if the computationa...
Dragan Tubic, Patrick Hébert, Jean-Daniel D...