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 ...
We present a case study of an international distance education course involving two sites in the US and one site in Pakistan. We use the case study to examine the elements of the ...
Richard J. Anderson, Ruth E. Anderson, Natalie Lin...
A significant problem faced by dyslexic children is a lack of learning technologies designed to help children learn in settings when there is no personal teaching assistance. This...
We have developed software bots that inhabit the popular online social environment SecondLife (SL). Our bots can wander around, collect data, engage in simple interactions, and car...
– To make a mobile robot with real-time vision system adapt to the highly dynamic environments and emergencies under the real-time constraints, a significant account of processin...