7213 search results - page 313 / 1443 » Automated model grouping |
183
click to vote
CSL
2000
Springer
15 years 11 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
185
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
A new concurrent form of game semantics is introduced. This overcomes the problems which had arisen with previous, sequential forms of game semantics in modelling Linear Logic. It...
161
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a new approach to introducing an extensional propositional equality in Intensional Type Theory. Our construction is based on the observation that there is a sound, inte...
183
click to vote
LICS
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
158
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
Establishing that machines cannot automate creative design and that it is a difficult task for humans, I propose a computational model based on the human and machine complementari...