Results 311 to 320 of about 576,949 (348)

Formal Specification of Graphics Software

1988
There is currently much interest, both in academia and industry, in the development and application of formal methods for the specification of computer systems. The need for formal specification is first examined, and broad outlines of current approaches are given.
openaire   +1 more source

Graphics Software

1986
Robert Ransom, Raymond J. Matela
openaire   +1 more source

Metaverse: Perspectives from graphics, interactions and visualization

Visual Informatics, 2022
Yuheng Zhao, Yi Chen, Yalong Yang
exaly  

Direct writing of customized structural-color graphics with colloidal photonic inks

Science Advances, 2021
Jong Bin Kim, Su Yeon Lee, Shin-Hyun Kim
exaly  

Graphics and Software

Science, 1982
openaire   +1 more source

ColabFold: making protein folding accessible to all

Nature Methods, 2022
Milot Mirdita, Konstantin Schütze, Yoshitaka Moriwaki   +2 more
exaly  

Graphics editing software

XRDS: Crossroads, The ACM Magazine for Students, 2013
openaire   +1 more source

Computer Software for Graphics

Scientific American, 1984
openaire   +1 more source

Instant neural graphics primitives with a multiresolution hash encoding

ACM Transactions on Graphics, 2022
exaly  

Software report: Molecular graphics software—MOGRA

Computers & Graphics, 1993
N.V. Ramana, Indira Ghosh
openaire   +1 more source