506 search results - page 48 / 102 » Contracts as Pairs of Projections |
106
click to vote
SWAT
1992
Springer
15 years 3 months ago
1992
Springer
This paper presents parallel algorithms for priority queue operations on a p-processor EREWPRAM. The algorithms are based on a new data structure, the Min-path Heap (MH), which is...
FC
2010
Springer
15 years 3 months ago
2010
Springer
We investigate a mixed economy of an individual rational expert and several na¨ıve near-sighted agents in the context of security decision making. Agents select between three ca...
ITEE
2007
15 years 1 months ago
2007
1 A knowledge acquisition process that has been implemented by a virtual team for the development of a knowledge based early warning system in Material Recovery Facilities (MRFs) o...
106
click to vote
USENIX
1994
15 years 1 months ago
1994
The evolution of the Andrew File System (AFS) into a wide-area distributed file system has encouraged collaboration and information dissemination on a much broader scale than ever...
AAAI
1992
15 years 1 months ago
1992
The family of terminological representation systems has its roots in the representation system kl-one. Since the development of kl-one more than a dozen similar representation sys...