5205 search results - page 24 / 1041 » Tilings and model theory |
IANDC
2006
13 years 8 months ago
2006
This paper is devoted to probabilistic models for concurrent systems under their true-concurrency semantics. Here we address probabilistic event structures. We consider a new clas...
NC
2008
13 years 8 months ago
2008
An enduring mystery in biology is how a physical entity simple enough to have arisen spontaneously could have evolved into the complex life seen on Earth today. Cairns-Smith has pr...
COLING
2000
13 years 10 months ago
2000
Pronolninalization has been related to tile idea of a local focus - a set of discourse entities in the speaker's centre of attention, for exmnple ill Gundel et al. (1993)...
IMPERIAL
1993
14 years 25 days ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
The application of resource-defined fitness sharing (RFS) to shape nesting problems reveals a remarkable ability to discover tilings [7, 8]. These tilings represent exact covers...