762 search results - page 38 / 153 » Conditionally correct superoptimization |
AVBPA
2001
Springer
14 years 1 months ago
2001
Springer
A scheme for pose-independent face recognition is presented. An "unwrapped" texture map is constructed from a video sequence using a texture-from-motion approach, which ...
ICML
2009
IEEE
14 years 11 months ago
2009
IEEE
We present an algorithm for finding an ssparse vector x that minimizes the squareerror y - x 2 where satisfies the restricted isometry property (RIP), with isometric constant 2s ...
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
ESOP
2009
Springer
14 years 4 months ago
2009
Springer
ion for Concurrent Objects Ivana Filipovi´c, Peter O’Hearn, Noam Rinetzky, and Hongseok Yang Queen Mary University of London, UK Concurrent data structures are usually designed ...
ICMT
2010
Springer
14 years 2 months ago
2010
Springer
Graph transformation (GT) is being increasingly used in Model Driven Engineering (MDE) to describe in-place transformations like animations and refactorings. For its practical use,...