Sciweavers

261 search results - page 5 / 53
» Generalized linear dynamic factor models - a structure theor...
Sort
View
IUI
2003
ACM
14 years 27 days ago
Inferring user goals from personality and behavior in a causal model of user affect
We present a probabilistic model, based on Dynamic Decision Networks, to assess user affect from possible causes of emotional arousal. The model relies on the OCC cognitive theory...
Xiaoming Zhou, Cristina Conati
MCS
2007
Springer
13 years 7 months ago
The effect of contact interface on dynamic characteristics of composite structures
In this project, nonlinear characteristics on the rolling interface of a linear guide were studied by the finite element analysis and experimental verification. Contact of the b...
James Shih-Shyn Wu, Jyh-Cheng Chang, Jui-Pin Hung
CAV
2009
Springer
182views Hardware» more  CAV 2009»
14 years 2 months ago
Generalizing DPLL to Richer Logics
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagi...
AAAI
2011
12 years 7 months ago
Preferred Explanations: Theory and Generation via Planning
In this paper we examine the general problem of generating preferred explanations for observed behavior with respect to a model of the behavior of a dynamical system. This problem...
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlrait...
HYBRID
2010
Springer
13 years 9 months ago
Identifiability of discrete-time linear switched systems
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
Mihály Petreczky, Laurent Bako, Jan H. van ...