4420 search results - page 197 / 884 » Evaluating a Computational Model of Emotion |
214
click to vote
CHARME
2001
Springer
15 years 11 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
197
click to vote
ITICSE
2006
ACM
16 years 1 months ago
2006
ACM
Adaptive explanatory visualization is an attempt to integrate two promising approaches to program visualization: adaptive visualization and explanatory visualization. The goal of ...
186
click to vote
SC
2009
ACM
16 years 2 months ago
2009
ACM
In this paper we propose a new provenance model which is tailored to a class of workflow-based applications. We motivate the approach with use cases from the astronomy community. ...
180
click to vote
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
163
click to vote
ACL
2010
15 years 5 months ago
2010
We pose the development of cognitively plausible models of human language processing as a challenge for computational linguistics. Existing models can only deal with isolated phen...