324 search results - page 15 / 65 » Towards a type theory of contexts |
WWW
2011
ACM
13 years 2 months ago
2011
ACM
The psycholinguistic theory of communication accommodation accounts for the general observation that participants in conversations tend to converge to one another’s communicativ...
JCDL
2010
ACM
13 years 5 months ago
2010
ACM
Personalization of information retrieval tailors search towards individual users to meet their particular information needs by taking into account information about users and thei...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
ENTCS
2007
13 years 7 months ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
NN
2000
Springer
13 years 7 months ago
2000
Springer
A neural network model that can simulate the learning of some simple proportional analogies is presented. These analogies include, for example, (a) red-square:red-circle yellow-sq...