Sciweavers

1140 search results - page 184 / 228
» human 2003
Sort
View
PG
2003
IEEE
15 years 2 months ago
Lightweight Face Relighting
In this paper we present a method to relight human faces in real time, using consumer-grade graphics cards even with limited 3D capabilities. We show how to render faces using a c...
Sylvain Paris, François X. Sillion, Long Qu...
SEW
2003
IEEE
15 years 2 months ago
Instrumentation of Intermediate Code for Runtime Verification
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve R...
SIBGRAPI
2003
IEEE
15 years 2 months ago
Automatically Choosing Source Color Images for Coloring Grayscale Images
This paper introduces a methodology for adding color to grayscale images in a way that is completely automatic. Towards this goal, we build on a technique that was recently develo...
Luiz Filipe M. Vieira, Rafael D. Vilela, Erickson ...
SMI
2003
IEEE
223views Image Analysis» more  SMI 2003»
15 years 2 months ago
Skeleton Extraction of 3D Objects with Radial Basis Functions
Skeleton is a lower dimensional shape description of an object. The requirements of a skeleton differ with applications. For example, object recognition requires skeletons with pr...
Wan-Chun Ma, Fu-Che Wu, Ming Ouhyoung
TPHOL
2003
IEEE
15 years 2 months ago
Program Extraction from Large Proof Developments
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
Luís Cruz-Filipe, Bas Spitters