Sciweavers

146 search results - page 1 / 30
» Explicit Reflection in Prolog-Tutor
Sort
View
AIEDU
2007
108views more  AIEDU 2007»
13 years 4 months ago
Explicit Reflection in Prolog-Tutor
This paper describes a reflection-based approach for open learner modeling (OLM). Tutoring dialogues are used by learners to explicitly reveal their own knowledge state to themselv...
Joséphine M. P. Tchétagni, Roger Nka...
APAL
2005
83views more  APAL 2005»
13 years 4 months ago
Reflections on reflections in explicit mathematics
We give a broad discussion of reflection principles in explicit mathematics, thereby addressing various kinds of universe existence principles. The proof-theoretic strength of the...
Gerhard Jäger, Thomas Strahm
ICCV
2001
IEEE
14 years 6 months ago
Photometric Image-Based Rendering for Image Generation in Arbitrary Illumination
A Photometric Image-Based Rendering (PIBR) concept is proposed that facilitates the generation of an image with an arbitrary illumination. Based on this concept, we aim to generat...
Yasuhiro Mukaigawa, Hajime Miyaki, Sadahiko Mihash...
CHI
2009
ACM
14 years 5 months ago
Designing trustworthy situated services: an implicit and explicit assessment of locative images-effect on trust
This paper examines a visual design element unique to situated, hot-spot style, services: locativeness. This is the extent to which the media representing a service relates to its...
Vassilis Kostakos, Ian Oakley
ICCV
2003
IEEE
14 years 6 months ago
Separating Reflection Components of Textured Surfaces using a Single Image
The presence of highlights, which in dielectric inhomogeneous objects are linear combination of specular and diffuse reflection components, is inevitable. A number of methods have...
Robby T. Tan, Katsushi Ikeuchi