Search Sciweavers | Sciweavers

3058 search results - page 85 / 612

» Reflections on

click to vote

DM
1998

46views more DM 1998»

Modular elements in the lattice L(A) when A is a real reflection arrangement

13 years 7 months ago

Download math.la.asu.edu

Hélène Barcelo, Edwin C. Ihrig

claim paper

Read More »

click to vote

JAR
2002

77views more JAR 2002»

Proof Reflection in Coq

13 years 7 months ago

Download www.phil.uu.nl

We formalise natural deduction for first-order logic in the proof assistant Coq, using De Bruijn indices for variable binding. The main judgement we model is of the form d [:] , ...

Dimitri Hendriks

claim paper

Read More »

click to vote

IJCV
1998

91views more IJCV 1998»

Stereo and Specular Reflection

13 years 7 months ago

Download www1.cs.columbia.edu

Dinkar N. Bhat, Shree K. Nayar

claim paper

Read More »

click to vote

IJCV
1998

102views more IJCV 1998»

Improved Diffuse Reflection Models for Computer Vision

13 years 7 months ago

Download www1.cs.columbia.edu

There are many computational vision techniques that fundamentally rely upon assumptions about the nature of diffuse reﬂection from object surfaces consisting of commonly occurrin...

Lawrence B. Wolff, Shree K. Nayar, Michael Oren

claim paper

Read More »

click to vote

INTERACTIONS
1998

52views more INTERACTIONS 1998»

Reflections

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers