5205 search results - page 25 / 1041 » Tilings and model theory |
140
click to vote
FSTTCS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...
181
click to vote
PRICAI
2004
Springer
16 years 1 days ago
2004
Springer
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...
159
click to vote
ICS
2003
Tsinghua U.
15 years 12 months ago
2003
Tsinghua U.
Cache behavior modeling is an important part of modern optimizing compilers. In this paper we present a method to estimate the number of cache misses, at compile time, using a mac...
140
click to vote
AE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We report the use of MGS, a declarative and rule-based language, for the modeling of various self-assembly processes. The approach is illustrated on the fabrication of a ...
140
Voted
JSYML
2002
15 years 6 months ago
2002
If T is a model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companion.