1106 search results - page 146 / 222 » Toward interactive statistical modeling |
129
Voted
ACII
2007
Springer
15 years 5 months ago
2007
Springer
Recent research has shown that virtual agent able to express empathic emotions enhances human-machine interaction. In this paper, we present the capabilities that virtual agent sho...
142
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
140
click to vote
CAI
2006
Springer
15 years 3 months ago
2006
Springer
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...
103
click to vote
IJON
2007
15 years 3 months ago
2007
In many studies of self-organized criticality (SOC), branching processes were used to model the dynamics of the activity of the system during avalanches. This mathematical simpliï...
110
click to vote
VC
2002
15 years 3 months ago
2002
The recent transition from meshing the whole model towards the independent meshing of the assembly parts introduced new challenges also in the task of visualizing and pre-processi...