5205 search results - page 25 / 1041 » Tilings and model theory |
133
Voted
FSTTCS
2007
Springer
16 years 7 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...
167
click to vote
PRICAI
2004
Springer
15 years 11 months 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...
150
click to vote
ICS
2003
Tsinghua U.
15 years 11 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...
126
click to vote
AE
2005
Springer
15 years 11 months 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 ...
129
click to vote
JSYML
2002
15 years 5 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.