This paper examines the Human Computer Interaction issue of learnability of interactive coordinated-view visualizations. We take the case of DataMaps, a Census data visualization ...
Design traceability has been widely recognized as being an integral aspect of software development. In the past years this fact has been amplified due to the increased use of lega...
: Acquisition of various human body models is useful in many cases. In this paper, we present some of our recent work on body creation tools. Our goal is to enable rapid creation o...
Hyewon Seo, Frederic Cordier, Laurent Philippon, N...
—In this paper, we propose an integrated methodology for specifying AIN and switch-based features and analyzing their interactions in the AIN 0.1 framework. The specification of ...
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...