506 search results - page 71 / 102 » Proving Properties about Lists Using Containers |
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Nonlinear registration is mostly performed after initialization by a global, linear transformation (in this work, we focus on similarity transformations), computed by a linear reg...
ICARCV
2008
IEEE
15 years 4 months ago
2008
IEEE
—In this paper the dynamic analysis of a cable drive parallel manipulator is described in detail. The manipulator architecture is a simplified planer version adopted from the str...
126
click to vote
CSFW
2010
IEEE
15 years 1 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
ICPR
2004
IEEE
15 years 10 months ago
2004
IEEE
The performance of face recognition systems that use twodimensional (2D) images is dependent on consistent conditions such as lighting, pose and facial expression. We are developi...
72
Voted
INFOCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
— Although packet-pair probing has been used as one of the primary mechanisms to measure bottleneck capacity, crosstraffic intensity, and available bandwidth of end-to-end Inter...