646 search results - page 28 / 130 » Compositing for small cameras |
ICPR
2000
IEEE
13 years 11 months ago
2000
IEEE
We present a system for learning the 3 DOF finepositioning task of a robot manipulator (Puma 260) using a gripper mounted camera. Small lateral gripper-target misalignments are c...
CVPR
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper demonstrates a system for the automatic extraction of novelty in images captured from a small video camera attached to a subject’s chest, replicating his visual persp...
ENTCS
2006
13 years 7 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
ICCAD
2003
IEEE
14 years 4 months ago
2003
IEEE
Optimizing array accesses is extremely critical in embedded computing as many embedded applications make use of arrays (in form of images, video frames, etc). Previous research co...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...