1687 search results - page 2 / 338 » Light Functional Interpretation |
APAL
2010
13 years 7 months ago
2010
We upgrade the light Dialectica interpretation [6] by adding two more light universal quantifiers, which are both semi-computational and semi-uniform and complement each other. An...
ISIPTA
2003
IEEE
14 years 9 days ago
2003
IEEE
This paper studies the possibility of representing lower previsions by continuous linear functionals. We prove the existence of a linear isomorphism between the linear space spann...
IANDC
2010
13 years 5 months ago
2010
This article shows how different functional interpretations can be combined into what we term hybrid functional interpretations. These hybrid interpretations work on the setting o...
APAL
2008
13 years 6 months ago
2008
When G
VISUALIZATION
2003
IEEE
14 years 9 days ago
2003
IEEE
LightKit is a system for lighting three-dimensional synthetic scenes. LightKit simplifies the task of producing visually pleasing, easily interpretable images for visualization w...