3229 search results - page 495 / 646 » Theories with the Independence Property |
191
click to vote
EMSOFT
2007
Springer
16 years 21 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
146
click to vote
ESOP
2007
Springer
16 years 20 days ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...
162
click to vote
GECCO
2007
Springer
16 years 20 days ago
2007
Springer
Tournament selection has been widely used and studied in evolutionary algorithms. To supplement the study of tournament selection, this paper provides several models describing th...
168
click to vote
GECCO
2007
Springer
16 years 20 days ago
2007
Springer
Generating a random sampling of program trees with specified function and terminal sets is the initial step of many program evolution systems. I present a theoretical and experim...
168
click to vote
LADS
2007
Springer
16 years 20 days ago
2007
Springer
In agent theory and agent programming, goals constitute the motivational attitude of rational agents and form the key concept in explaining and generating their pro-active behavior...