3058 search results - page 28 / 612 » Reflections |
CADE
2005
Springer
15 years 10 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...
101
click to vote
CODES
2007
IEEE
15 years 1 months ago
2007
IEEE
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
CVPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Many natural images contain reflections and transparency, i.e., they contain mixtures of reflected and transmitted light. When viewed from a moving camera, these appear as the sup...
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a new model for understanding the appearance of objects that exhibit both body and surface reflection under realistic illumination. Specifically, the model rep...
103
click to vote
ICPR
2004
IEEE
15 years 10 months ago
2004
IEEE
A rough texture modelling involves a huge image data-set - the Bidirectional Texture Function (BTF). This 6-dimensional function depends on planar texture coordinates as well as o...