203 search results - page 6 / 41 » Reflections on reflections in explicit mathematics |
REFLECTION
2001
Springer
14 years 6 days 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 8 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 9 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 9 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...
DLS
2007
13 years 11 months ago
2007
Mirror-based systems are object-oriented reflective architectures built around a set of design principles that lead to reflective APIs which foster a high degree of reusability, l...