Sciweavers

4451 search results - page 408 / 891
» Continuous model synthesis
Sort
View
ESSMAC
2003
Springer
16 years 1 days ago
Hex: Dynamics and Probabilistic Text Entry
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...
John Williamson, Roderick Murray-Smith
219
Voted
HAPTICS
2002
IEEE
15 years 11 months ago
Building a Task Language for Segmentation and Recognition of User Input to Cooperative Manipulation Systems
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...
HYBRID
2001
Springer
15 years 11 months ago
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
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...
WSC
2004
15 years 8 months ago
Military Applications of Agent-Based Simulations
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...
WSC
2004
15 years 8 months ago
Participatory Ergonomics Using VR Integrated with Analysis Tools
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...