Sciweavers

2904 search results - page 380 / 581
» Number Forms in the Brain
Sort
View
SIGGRAPH
1994
ACM
15 years 10 months ago
A framework for the analysis of error in global illumination algorithms
In this paper we identify sources of error in global illumination algorithms and derive bounds for each distinct category. Errors arise from three sources: inaccuracies in the bou...
James Arvo, Kenneth E. Torrance, Brian E. Smits
157
Voted
SIGGRAPH
1994
ACM
15 years 10 months ago
Animating images with drawings
The work described here extends the power of 2D animation with a form of texture mapping conveniently controlled by line drawings. By tracing points, line segments, spline curves,...
Peter Litwinowicz, Lance Williams
ISSTA
1989
ACM
15 years 10 months ago
The Logic of Propagation in the Inscape Environment
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...
D. Perry
PARLE
1989
15 years 10 months ago
The Expressive Power of Simple Parallelism
We explore an algebraic language for networks consisting of a xed number of reactive units, communicating synchronously over a xed linking structure. The language has only two ope...
Joachim Parrow
219
Voted
PODC
1990
ACM
15 years 10 months ago
Half-Order Modal Logic: How to Prove Real-Time Properties
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
Thomas A. Henzinger