We present a gestural interface for entering text on a mobile device via continuous movements, with control based on feedback from a probabilistic language model. Text is represent...
We present the results of using Hidden Markov Models (HMMs) for automatic segmentation and recognition of user motions. Previous work on recognition of user intent with man/machin...
C. Sean Hundtofte, Gregory D. Hager, Allison M. Ok...
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
Thomas A. Henzinger, Marius Minea, Vinayak S. Prab...
There continues to be increasing interest from a broad range of disciplines in agent-based and artificial life simulations. This includes the Department of Defense--which uses sim...
Thomas M. Cioppa, Thomas W. Lucas, Susan M. Sanche...
This paper presents our work on the integrated use of simulation tools in real time for participatory occupational ergonomic studies. The focus of this paper is a synergistic syst...
Shaikh Imtiyaz, Uma Jayaram, Sankar Jayaram, Craig...