3729 search results - page 609 / 746 » On Formal Modeling of Agent Computations |
191
click to vote
COMPUTER
2006
15 years 6 months ago
2006
The role of intuition in software development was discussed in a most original fashion by Peter Naur in 1984. Yet there has been little subsequent interest in elaborating on Naur&#...
182
click to vote
JAIR
2006
15 years 6 months ago
2006
This paper studies bilateral multi-issue negotiation between self-interested autonomous agents. Now, there are a number of different procedures that can be used for this process; ...
157
click to vote
DATE
2006
IEEE
16 years 14 days ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
181
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
164
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
Reinforcement learning promises a generic method for adapting agents to arbitrary tasks in arbitrary stochastic environments, but applying it to new real-world problems remains di...