FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
Biological sensorimotor systems are not static maps that transform input sensory information into output motor behavior. Evidence from many lines of research suggests that their r...
Although animation is one of the most compelling aspects of computer graphics, the possibilities for depicting the movement that make dynamic scenes so exciting remain limited for...
Johannes Schmid, Robert W. Sumner, Huw Bowles, Mar...