As robot technologies have developed rapidly, many researchers have tried to use robots to support education. Studies have shown that robots can help students develop problem-solv...
In this paper we present a technique for image deformation in which the user is given flexible control over what kind of deformation to perform. Freeform image extends available ...
The use of bad names — names that are wrong, inconsistent or inconcise — hinder program comprehension. The root of the problem is that there is no mechanism for aligning the n...
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
Malicious network traffic, including widespread worm activity, is a growing threat to Internet-connected networks and hosts. In this paper, we propose a network intrusion detectio...