— We consider the problem of generating global feasible trajectories for nonholonomic mobile robots in the presence of moving obstacles. The global trajectory is composed of regi...
—This research focuses on development of a haptic system to create controlled air flow acting on a user in the Treadport virtual environment. The Treadport Active Wind Tunnel (TP...
Sandip D. Kulkarni, Mark A. Minor, Mark W. Deaver,...
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
An increasing number of persuasive technology systems consist of multiple devices that enable efficient just-in-time interaction with the user. Developing multi-device systems to s...
It is sometimes believed that a “broadband access” network, providing ample transmission capacity to residential environments, is enough so as to allow a flawless delivery of a...