4485 search results - page 397 / 897 » Equivalences on Observable Processes |
174
click to vote
IPPS
2007
IEEE
16 years 2 months ago
2007
IEEE
In message-passing parallel applications, messages are not delivered in a strict order. In most applications, the computation results and the set of messages produced during the e...
231
click to vote
AAMAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The application of reinforcement learning algorithms to multiagent domains may cause complex non-convergent dynamics. The replicator dynamics, commonly used in evolutiona...
163
click to vote
EUROGP
2007
Springer
16 years 1 months ago
2007
Springer
We explore a homeostatic approach to program execution in computer systems: the “concentration” of computation services is regulated according to their fitness. The goal is to...
188
Voted
ICIC
2007
Springer
16 years 1 months ago
2007
Springer
Humans can easily recognize complex objects even if values of their attributes are imprecise and often inconsistent. It is not clear how the brain processes uncertain visual inform...
184
click to vote
LFCS
2007
Springer
16 years 1 months ago
2007
Springer
LP can be seen as a logic of knowledge with justifications. Artemov’s Realization Theorem says justifications can be extracted from validities in the more conventional Hintikk...