An approach to the formal specification of computer graphics systems.
George S. CarsonPublished in: Comput. Graph. (1984)
Keyphrases
- computer graphics
- formal specification
- computer vision
- image synthesis
- image processing
- formal methods
- computer vision and computer graphics
- virtual environment
- virtual reality
- photorealistic
- real world objects
- model checking
- specification languages
- object oriented design
- computer aided design
- computer animation
- specification language
- global illumination
- real time rendering
- reverse engineering
- information systems
- texture mapping
- machine learning
- complex scenes
- geometric modeling
- computational photography