Sciweavers

3058 search results - page 6 / 612
» Reflections on Reflections
Sort
View
ICPR
2006
IEEE
14 years 8 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
13 years 12 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»
13 years 7 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
APAL
2006
60views more  APAL 2006»
13 years 7 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
ICPR
2004
IEEE
14 years 8 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