Sciweavers

261 search results - page 5 / 53
» Generalized linear dynamic factor models - a structure theor...
Sort
View
IUI
2003
ACM
15 years 8 months 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
15 years 2 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
123
Voted
CAV
2009
Springer
182views Hardware» more  CAV 2009»
15 years 10 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...
152
Voted
AAAI
2011
14 years 3 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
15 years 5 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 ...