893 search results - page 150 / 179 » P3C: A New Algorithm for the Simple Temporal Problem |
PLDI
2004
ACM
14 years 2 months ago
2004
ACM
When vectorizing for SIMD architectures that are commonly employed by today’s multimedia extensions, one of the new challenges that arise is the handling of memory alignment. Pr...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
A new method for adapting digital images so that they are suitable for color blind viewers is presented. In contrast to earlier automatic methods which formulate the problem of ad...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
ICIP
2005
IEEE
14 years 2 months ago
2005
IEEE
—In this paper we introduce a new 3D automatic registration method based on Gaussian fields and energy minimization. The method defines a simple ∞ C energy function, which is c...
ICIP
2005
IEEE
14 years 2 months ago
2005
IEEE
Image Cube Trajectory (ICT) Analysis is a new and robust method to estimate the 3D structure of a scene from a set of 2D images. For a moving camera each 3D point is represented b...