3984 search results - page 295 / 797 » A Model-Driven Transformation Method |
117
Voted
APLAS
2003
ACM
15 years 10 months ago
2003
ACM
We present a method for automatic program inversion in a first-order functional programming language. We formalize the transformation and illustrate it with several examples inclu...
147
Voted
COSIT
1995
Springer
15 years 8 months ago
1995
Springer
: Spatial relations are becoming an important aspect of spatial access methods because of the increasing interest on qualitative spatial information processing. In this paper we sh...
146
Voted
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
A face image relighting method using locally constrained global optimization is presented in this paper. Based on the empirical fact that common radiance environments are locally h...
123
Voted
ADCM
2007
15 years 5 months ago
2007
We describe a new method for constructing a sequence of refined polygons, which starts with a sequence of points and associated normals. The newly generated points are sampled fr...
131
Voted
SIVP
2010
15 years 3 months ago
2010
This paper describes a method for image rectification of a trinocular setup. The rectification method used is an extension of a recent approach based on the fundamental matrix t...