5205 search results - page 156 / 1041 » Tilings and model theory |
SYNASC
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper, we report a case study of computer supported exploration of the theory of natural numbers, using a theory exploration model based on knowledge schemes, proposed by ...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
The authors present experimental and simulation results of an outcome-based learning model as it applies to the identification of emerging threats. This model integrates judgment,...
WSC
2004
13 years 11 months ago
2004
This paper explores current metaphors for visualizing agent-based models. Metaphors include grid, network, ndimensional cubes and landscape visualization techniques. A final secti...
LOGCOM
2008
13 years 10 months ago
2008
We investigate mathematical modelling with theories of data types. We provide a formal setting for the formulation of such theories (TPL) and use it to introduce the notion of a c...
ECIS
2001
13 years 11 months ago
2001
There are many data modelling languages used in today's information systems engineering environment. Some of the data modelling languages used have a degree of hype surroundi...