Sciweavers

1159 search results - page 81 / 232
» On The Next Move in Programming
Sort
View
178
Voted
POPL
2009
ACM
16 years 1 months ago
Equality saturation: a new approach to optimization
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed t...
Ross Tate, Michael Stepp, Zachary Tatlock, Sorin L...
CVPR
2004
IEEE
16 years 2 months ago
Restoration of Curved Document Images through 3D Shape Modeling
In this paper, we address the problem of discovering the 3D shape of a book surface from the shading information in a scanned document image. This shapefrom-shading problem is cha...
Zheng Zhang 0003, Chew Lim Tan, Liying Fan
90
Voted
CVPR
2006
IEEE
16 years 2 months ago
Lensless Imaging with a Controllable Aperture
In this paper we propose a novel, highly flexible camera. The camera consists of an image detector and a special aperture, but no lens. The aperture is a set of parallel light att...
Assaf Zomet, Shree K. Nayar
CVPR
2008
IEEE
16 years 2 months ago
Randomized trees for human pose detection
This paper addresses human pose recognition from video sequences by formulating it as a classification problem. Unlike much previous work we do not make any assumptions on the ava...
Grégory Rogez, Jonathan Rihan, Srikumar Ram...
101
Voted
ECCV
2006
Springer
16 years 2 months ago
Tracking and Labelling of Interacting Multiple Targets
Abstract. Successful multi-target tracking requires solving two problems - localize the targets and label their identity. An isolated target's identity can be unambiguously pr...
Josephine Sullivan, Stefan Carlsson