504 search results - page 13 / 101 » Definitional Reflection and the Completion |
ENTCS
2002
13 years 7 months ago
2002
We present a variant of the linear logical framework LLF that avoids the restriction l-typed terms be in pre-canonical form and adds -abstraction at the level of families. We aban...
RT
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Rendering realistic faces and facial expressions requires good models for the reflectance of skin and the motion of the face. We describe a system for modeling, animating...
CVPR
1998
IEEE
14 years 9 months ago
1998
IEEE
We present a new graph-theoretic approach to the problem of image segmentation. Our method uses local criteria and yet produces results that reflect global properties of the image...
FDL
2004
IEEE
13 years 11 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...
FLAIRS
2004
13 years 9 months ago
2004
This paper is an extension to and revision of Gonzalez and Ahlers' [6] definition of the Context-Based Reasoning Paradigm. Included are rigorous definitions of all terms and ...