5499 search results - page 317 / 1100 » Generalized Rewrite Theories |
169
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Agents engaged in noncooperative interaction may seek to achieve a Nash equilibrium; this requires that agents be aware of others’ rewards. Misinformation about rewards leads to...
191
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...
212
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
210
Voted
MMSEC
2006
ACM
16 years 1 months ago
2006
ACM
In the watermark detection scenario, also known as zero-bit watermarking, a watermark, carrying no hidden message, is inserted in content. The watermark detector checks for the pr...
209
click to vote
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...