3058 search results - page 28 / 612 » Reflections |
111
click to vote
CADE
2005
Springer
16 years 3 days 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...
114
click to vote
CODES
2007
IEEE
15 years 3 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...
86
Voted
CVPR
2000
IEEE
16 years 1 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
16 years 1 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...
116
click to vote
ICPR
2004
IEEE
16 years 27 days 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...