41472 search results - page 8046 / 8295 » or 2006 |
ESA
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. This paper addresses strategies for the stable marriage problem. For the Gale-Shapley algorithm with men proposing, a classical theorem states that it is impossible for e...
ESAW
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
ESCIENCE
2006
IEEE
14 years 2 months ago
2006
IEEE
The Online Database of Interlinear Text (ODIN)1 is a database of interlinear text "snippets", harvested mostly from scholarly documents posted to the Web. Although large...
ESCIENCE
2006
IEEE
14 years 2 months ago
2006
IEEE
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...
ESORICS
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Simulatability has established itself as a salient notion for defining and proving the security of cryptographic protocols since it entails strong security and compositio...