2171 search results - page 244 / 435 » A Generic Process Algebra |
161
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a 3D face reconstruction system that takes as input either one single view or several different views. Given a facial image, we first classify the facial pose into one...
119
Voted
CGF
2010
15 years 4 months ago
2010
A common operation in many geometry processing algorithms consists of finding correspondences between pairs of shapes by finding structure-preserving maps between them. A particul...
139
click to vote
ENTCS
2002
15 years 4 months ago
2002
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...
135
click to vote
TON
1998
15 years 3 months ago
1998
Abstract— Group communication services have been successfully used to construct applications with high availability, dependability, and real-time responsiveness requirements. Flo...
145
Voted
MP
2010
15 years 2 months ago
2010
In this paper, we consider approximation algorithms for optimizing a generic multi-variate homogeneous polynomial function, subject to homogeneous quadratic constraints. Such opti...