For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
- A phoneme-acquisition system was developed using a computational model that explains the developmental process of human infants in the early period of acquiring language. There a...
Virtual environment research has focused on interactive image generation and has largely ignored acoustic modeling for spatialization of sound. Yet, realistic auditory cues can co...
Thomas A. Funkhouser, Ingrid Carlbom, Gary Elko, G...
Washington Dulles International Airport transports passengers concourse to concourse using mobile lounges. The airport itself is continuously expanding the number of gates that it...
This paper proposes a mobile application to facilitate the meeting of people in unmarked spaces. We report on the concept, aspects of the work-in-progress implementation and futur...
George T. Hayes, Dhawal Mujumdar, Thomas Schluchte...