146 search results - page 3 / 30 » Explicit Reflection in Prolog-Tutor |
REFLECTION
2001
Springer
13 years 10 months ago
2001
Springer
, are to address what we perceive as the most pressing shortcomings of current reflective middleware platforms. First, performance: in the worst case, this needs to be on a par wit...
CADE
2005
Springer
14 years 6 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
ICCV
2005
IEEE
14 years 7 months ago
2005
IEEE
Face recognition under varying illumination remains a challenging problem. Much progress has been made toward a solution through methods that require multiple gallery images of ea...
ECCV
2004
Springer
14 years 7 months ago
2004
Springer
We present a method for estimating intrinsic images from a fixed-viewpoint image sequence captured under changing illumination directions. Previous work on this problem reduces the...
ECCV
2006
Springer
14 years 7 months ago
2006
Springer
Since the precise modeling of reflection is a difficult task, most feature points trackers assume that objects are lambertian and that no lighting change occurs. To some extent, a ...