5205 search results - page 104 / 1041 » Tilings and model theory |
ACS
2004
13 years 8 months ago
2004
The authors have used generalised Galois Theory to construct a homotopy double groupoid of a surjective fibration of Kan simplicial sets. Here we apply this to construct a new hom...
CSCW
2006
ACM
14 years 2 months ago
2006
ACM
This paper presents a grounded theory of information sharing behavior of the users of a personal learning space. A personal learning space is an environment consisted of weblog, e...
IAT
2008
IEEE
13 years 9 months ago
2008
IEEE
This paper focuses on how capabilities to interpret another agent's emotions, and their biological realisation can be modelled. First a cognitive and a biological agent model...
AML
2010
13 years 9 months ago
2010
In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructibl...
NN
2000
Springer
13 years 8 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...