5086 search results - page 358 / 1018 » The Power of Comparative Reasoning |
144
click to vote
EMO
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Multi-objective evolutionary algorithms (MOEAs) have proven to be a powerful tool for global optimization purposes of deterministic problem functions. Yet, in many real-w...
185
click to vote
ICCBR
2005
Springer
16 years 7 days ago
2005
Springer
The rapid growth of data stored in molecular biology-related databases has stimulated the development of integrative tools for retrieval and presentation of the data in the form of...
166
click to vote
IFM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
168
click to vote
CSL
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
165
click to vote
ISCIS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...