Abstract. We are exploring an application for a novel direction in humancomputer interaction named ‘cultural computing’, which aims to provide a new medium for cultural transla...
Virtual prototyping with 3D drawing programs provides a means of rapidly developing system concepts and analyzing them for form, fit, logistics, human factors integration, and gen...
Illusory motion in a still image is a fascinating research topic in the study of human motion perception. Physiologists and psychologists have attempted to understand this phenome...
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
Adam J. Chlipala, J. Gregory Malecha, Greg Morrise...