478 search results - page 42 / 96 » Formal Modelling of Cognitive Interpretation |
131
click to vote
AIME
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
118
click to vote
UML
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...
100
click to vote
IEEEIAS
2007
IEEE
15 years 8 months ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type ...
119
click to vote
GD
2003
Springer
15 years 7 months ago
2003
Springer
We introduce an energy model whose minimum energy drawings reveal the clusters of the drawn graph. Here a cluster is a set of nodes with many internal edges and few edges to nodes ...
139
click to vote
IJMMS
2007
15 years 1 months ago
2007
How we design and evaluate for emotions depends crucially on what we take emotions to be. In affective computing, affect is often taken to be another kind of information - discret...