3782 search results - page 374 / 757 » Engineering Social Order |
166
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
Abstract— This paper explores the problem of efficiently ordering interprocessor communication operations in both statically and dynamically-scheduled multiprocessors for iterat...
175
click to vote
FSTTCS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
214
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
The main claim of this paper is that machine learning can help integrate the construction of ontologies and extraction grammars and lead us closer to the Semantic Web vision. The p...
155
click to vote
SOCO
2005
Springer
16 years 6 days ago
2005
Springer
In an open environment populated by large numbers of services, automated service composition is a major challenge. In such a setting the efficient interaction of directory-based s...
214
click to vote
FOSSACS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...