Sciweavers

5326 search results - page 357 / 1066
» On what we can ensure
Sort
View
171
Voted
DIGITEL
2008
IEEE
16 years 1 months ago
Using Humanoid Robots as Instructional Media in Elementary Language Education
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...
Gwo-Dong Chen, Chih-Wei Chang
196
Voted
PG
2007
IEEE
16 years 1 months ago
Freeform Image
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 ...
Thomas Schiwietz, Joachim Georgii, Rüdiger We...
136
Voted
OOPSLA
2007
Springer
16 years 27 days ago
Understanding programmer language
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...
Einar W. Høst
SAS
2007
Springer
16 years 26 days ago
Shape Analysis with Structural Invariant Checkers
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
IPPS
2006
IEEE
16 years 23 days ago
Network intrusion detection with semantics-aware capability
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...
Walter J. Scheirer, Mooi Choo Chuah