3229 search results - page 342 / 646 » Theories with the Independence Property |
179
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
We analyze the notion of organizational structure in multiagent systems and explain the precise added value and the effects of such organizational structure on the involved agents...
173
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
Temporal difference (TD) learning methods [22] have become popular reinforcement learning techniques in recent years. TD methods have had some experimental successes and have been...
148
Voted
CHARME
2005
Springer
16 years 9 days ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
157
click to vote
EMSOFT
2005
Springer
16 years 9 days ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
166
click to vote
PPDP
2005
Springer
16 years 7 days ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...