2887 search results - page 176 / 578 » Name Generation and Linearity |
138
click to vote
MOMM
2006
ACM
16 years 14 days ago
2006
ACM
Earth-observing satellites, such Landsat, provide many multitemporal images of earth, either water body or land. Using spectral water body characteristics and field measurement, b...
180
click to vote
IPPS
2005
IEEE
2005
IEEE
Building on a Framework: Using FG for More Flexibility and Improved Performance in Parallel Programs
16 years 3 days ago
We describe new features of FG that are designed to improve performance and extend the range of computations that fit into its framework. FG (short for Framework Generator) is a ...
156
click to vote
NPAR
2004
ACM
15 years 12 months ago
2004
ACM
Artistic rendering is an important research area in Computer Graphics, yet relatively little attention has been paid to the projective properties of computer generated scenes. Mot...
179
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
190
click to vote
IJCV
2007
15 years 6 months ago
2007
In this paper, we study face hallucination, or synthesizing a high-resolution face image from an input low-resolution image, with the help of a large collection of other high-reso...