4961 search results - page 325 / 993 » Homomorphism-Homogeneous Relational Structures |
121
click to vote
WOLLIC
2007
Springer
15 years 10 months ago
2007
Springer
Hydra games were introduced by Kirby and Paris, for the formulation of a result which is independent from Peano arithmetic but depends on the transfinite structure of 0. Tree ordi...
122
click to vote
ICARCV
2006
IEEE
15 years 10 months ago
2006
IEEE
—This paper introduces an integrated modeling and analysis formalism based on colored Petri nets (CPNs) for supply chain configuration and evaluation. The structural changes of d...
123
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
The RTSJ memory model propose a mechanism based on a scope three containing all region-stacks in the system and a reference-counter collector. In order to avoid reference cycles a...
145
click to vote
ARGMAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...
118
click to vote
ECAL
2005
Springer
15 years 10 months ago
2005
Springer
Contrary to indications made by prior researchers, digital logic circuits designed by artificial evolution to perform binary arithmetic tasks can generalise on inputs which were n...