Developing a visually convincing model of fire, smoke, and other gaseousphenomenais among the most difficult and attractive problems in computer graphics. We have created new me...
In many real world tasks, only a small fraction of the available inputs are important at any particular time. This paper presents a method for ascertaining the relevance of inputs...
This paper describes the shortcomings in the support that replaces the lost distributed cognition in older people who move to nursing homes and how artifacts can improve this by f...
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
This paper presents the design of a stable non-linear control system for the remote visual tracking of cellular robots. The robot is controlled through visual feedback based on th...