4940 search results - page 8 / 988 » On the Complexity of Universal Programs |
CORR
2000
Springer
14 years 9 months ago
2000
Springer
129
click to vote
IGPL
2011
14 years 4 months ago
2011
This paper presents J-MADeM, a multi-modal decision making mechanism to provide agents in a Multi-Agent Systems (MAS) with a market-based model for complex decision problems. J-MA...
ASPDAC
2011
ACM
14 years 1 months ago
2011
ACM
al Abstraction and Refinement Brian Keng and Andreas Veneris University of Toronto ASPASP--DAC 2011DAC 2011
IPPS
1999
IEEE
15 years 1 months ago
1999
IEEE
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...