The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffele...
This paper illustrates our preliminary studies of new interactive tools that support the generation of sequential art for entertainment, learning and scientific discourse. In the ...
Duncan Rowland, Dan Porter, Mel Gibson, Kevin Walk...