3669 search results - page 258 / 734 » Rendering |
171
click to vote
SI3D
2010
ACM
16 years 1 months ago
2010
ACM
Volume caustics are intricate illumination patterns formed by light first interacting with a specular surface and subsequently being scattered inside a participating medium. Alth...
202
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
We introduce and illustrate a graph calculus for proving and deciding the positive identities and inclusions of fork algebras, i.e., those without occurrences of complementation. ...
147
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Matita is a proof assistant characterised by a rich, user extensible, output facility based on a widget for the rendering of MathML Presentation, and by the automatic han...
156
Voted
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Using appropriate notation systems for proofs, cutreduction can often be rendered feasible on these notations. Explicit bounds can be given. Developing a suitable notation system ...
131
click to vote
HAPTICS
2007
IEEE
16 years 29 days ago
2007
IEEE
We present a new tactile display for rendering rotational friction at the fingertips. To inform the design and control of this device, we have conducted an initial set of percept...