478 search results - page 59 / 96 » Formal Modelling of Cognitive Interpretation |
121
Voted
CONCUR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
134
Voted
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
219
Voted
GIS
2008
ACM
16 years 4 months ago
2008
ACM
Geovisualization has traditionally played a critical role in analysis and decision-making, but recent developments have also brought a revolution in widespread online access to ge...
147
Voted
ICMI
2005
Springer
15 years 9 months ago
2005
Springer
Visual information overload is a threat to the interpretation of displays presenting large data sets or complex application environments. To combat this problem, researchers have ...
115
Voted
SYNTHESE
2010
15 years 1 months ago
2010
Recent work in the philosophy of science has generated an apparent conflict between theories attempting to explicate the nature of scientific representation. On one side, there are...