Sciweavers

292 search results - page 27 / 59
» On the Expression of Interaction Properties within an Intera...
Sort
View
RTSS
2003
IEEE
14 years 1 months ago
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segal...
HAPTICS
2007
IEEE
14 years 2 months ago
Force Feedback is Noticeably Different for Linear versus Nonlinear Elastic Tissue Models
Realistic modeling of the interaction between surgical instruments and human organs has been recognized as a key requirement in the development of high-fidelity surgical simulato...
Sarthak Misra, Allison M. Okamura, K. T. Ramesh
FLAIRS
2010
13 years 10 months ago
Generalized Non-impeding Noisy-AND Trees
To specify a Bayes net (BN), a conditional probability table (CPT), often of an effect conditioned on its n causes, needs assessed for each node. Its complexity is generally expon...
Yang Xiang
ACII
2011
Springer
12 years 8 months ago
Predicting Facial Indicators of Confusion with Hidden Markov Models
Affect plays a vital role in learning. During tutoring, particular affective states may benefit or detract from student learning. A key cognitiveaffective state is confusion, which...
Joseph F. Grafsgaard, Kristy Elizabeth Boyer, Jame...
CHI
2007
ACM
14 years 9 months ago
Computational composites
A computational composite is a material in which computations contribute to the properties of the material through their capability to control transitions between states in the oth...
Anna Vallgårda, Johan Redström