5205 search results - page 859 / 1041 » Tilings and model theory |
187
click to vote
EMSOFT
2005
Springer
16 years 2 days ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
181
click to vote
ESA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Modern computer graphics systems are able to render sophisticated 3D scenes consisting of millions of polygons. For most camera positions only a small collection of these...
152
click to vote
ESWS
2005
Springer
16 years 2 days ago
2005
Springer
RDF uses the RFC3066 standard for language tags for literals in natural languages. The revision RFC3066bis includes productive use of language, country and script codes. These form...
166
click to vote
FOSSACS
2005
Springer
16 years 2 days ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
161
click to vote
GECCO
2005
Springer
16 years 2 days ago
2005
Springer
This paper offers a novel approach to coevolution based on the sociological theory of symbolic interactionism. It provides a multi-agent computational model along with experimenta...