In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
Programmable shading is a common technique for production animation, but interactive programmable shading is not yet widely available. We support interactive programmable shading ...
Mark S. Peercy, Marc Olano, John Airey, P. Jeffrey...
Within the past few years, computer graphics has played a decisive role in transforming the field of molecular modeling into an intemaiional industry. While computer scientists ar...
Abstract. We discuss language architecture for the Semantic Web, and in particular different proposals for extending this architecture with a rules component. We argue that an arch...
Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneid...