1677 search results - page 188 / 336 » On the Completeness of Quantum Computation Models |
171
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
177
click to vote
PAMI
2002
15 years 6 months ago
2002
We consider simple digital curves in a 3D orthogonal grid as special polyhedrally bounded sets. These digital curves model digitized curves or arcs in three-dimensional euclidean ...
181
click to vote
BMVC
2010
15 years 4 months ago
2010
We present a novel method to detect curves with unknown endpoints using minimal path techniques. Our work builds on the state of the art minimal path techniques currently used to ...
156
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper, we present a face authentication system that can be broken down in three stages. Prior to feature extraction, a pose correction step is applied, so that frontal fac...
184
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
The Route Panorama is a continuous, compact and complete image representation of scenes along a route. It is generated continuously from reading a preset line in a camera frame th...