Sciweavers

3058 search results - page 6 / 612
» Reflections on Reflections
Sort
View
ICPR
2006
IEEE
15 years 10 months ago
Synthesizing Reflections of Inserted Objects
The aim of reflection synthesis of inserted objects is to generate reflections which would be seen by the same camera capturing the target scene and be reflected by the true refle...
Hassan Foroosh, Xiaochun Cao
ECOOPW
1998
Springer
15 years 1 months ago
Reflective Authorization Systems
A reflective approach for modeling and implementing authorization systems is presented. The advantages of the combined use of computational reflection and authorization mechanisms...
Massimo Ancona, Walter Cazzola, Eduardo B. Fern&aa...
JFP
2006
91views more  JFP 2006»
14 years 9 months ago
A reflective functional language for hardware design and theorem proving
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
Jim Grundy, Thomas F. Melham, John W. O'Leary
79
Voted
APAL
2006
60views more  APAL 2006»
14 years 9 months ago
The Proper Forcing Axiom, Prikry forcing, and the Singular Cardinals Hypothesis
The purpose of this paper is to present some results which suggest that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom. What will be proved is that a form ...
Justin Tatch Moore
78
Voted
ICPR
2004
IEEE
15 years 10 months ago
Dense Estimation of Surface Reflectance Properties Based on Inverse Global Illumination Rendering
In augmented virtuality, estimating object surface reflectance properties is important when rendering objects under arbitrary illuminationconditions. However, faithfully estimatin...
Takashi Machida, Haruo Takemura, Naokazu Yokoya