Sciweavers

17366 search results - page 3059 / 3474
» New Revision Algorithms
Sort
View
OOPSLA
2010
Springer
15 years 5 months ago
A simple inductive synthesis methodology and its applications
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Moo...
PAMI
2010
192views more  PAMI 2010»
15 years 5 months ago
Esaliency (Extended Saliency): Meaningful Attention Using Stochastic Image Modeling
Computer-vision attention processes allocate computational resources to different parts of visual input and can lead to faster object recognition and image analysis. This paper p...
Tamar Avraham, Michael Lindenbaum
PAMI
2010
248views more  PAMI 2010»
15 years 5 months ago
Coupled Prediction Classification for Robust Visual Tracking
—This paper addresses the problem of robust template tracking in image sequences. Our work falls within the discriminative framework in which the observations at each frame yield...
Ioannis Patras, Edwin R. Hancock
PAMI
2010
249views more  PAMI 2010»
15 years 5 months ago
Object Detection with Discriminatively Trained Part-Based Models
—We describe an object detection system based on mixtures of multiscale deformable part models. Our system is able to represent highly variable object classes and achieves state-...
Pedro F. Felzenszwalb, Ross B. Girshick, David A. ...
PR
2010
220views more  PR 2010»
15 years 5 months ago
Online finger-knuckle-print verification for personal authentication
Biometric based personal authentication is an effective method for automatically recognizing, with a high confidence, a person’s identity. By observing that the texture pattern p...
Lin Zhang, Lei Zhang 0006, David Zhang, Hailong Zh...
« Prev « First page 3059 / 3474 Last » Next »