504 search results - page 4 / 101 » Definitional Reflection and the Completion |
FOSSACS
2004
Springer
13 years 11 months ago
2004
Springer
In this paper we present a theorem for defining fixed-points in categories of sheaves. This result gives a unifying and general account of most techniques used in computer science ...
ENTCS
2008
13 years 7 months ago
2008
In the book on Advanced Topics in Types and Programming Languages, Crary illustrates the reasoning technique of logical relations in a case study about equivalence checking. He pr...
IALP
2009
13 years 5 months ago
2009
In this paper, we propose a modular cascaded approach to data driven dependency parsing. Each module or layer leading to the complete parse produces a linguistically valid partial...
REFLECTION
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. We present a general technique to support reflection in C++, exploiting template metaprogramming techniques. The technique is used for building an object interface to rel...
MVA
1990
13 years 8 months ago
1990
The photometric sampling method [4] extracts shape and reflectance properties of surfaces (Lambertian,specular,and hybrid)by using multipleillunrinationdirectionsand asingle viewi...