5205 search results - page 860 / 1041 » Tilings and model theory |
143
click to vote
IWINAC
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Due to the lot of different Genetic Algorithm variants, encodings, and attacked problems, very little general theory is available to explain the internal functioning of ...
187
click to vote
KDD
2005
ACM
16 years 1 days ago
2005
ACM
Relational graphs are widely used in modeling large scale networks such as biological networks and social networks. In this kind of graph, connectivity becomes critical in identif...
242
click to vote
LAMAS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract Multi-agent systems (MASs) is an area of distributed artificial intelligence that emphasizes the joint behaviors of agents with some degree of autonomy and the complexiti...
173
click to vote
MATES
2005
Springer
16 years 1 days ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for dec...
156
click to vote
PPDP
2005
Springer
16 years 1 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...